This paper presents the design and implementation of a geometric-object-oriented language Gool for constructing,representing,manipulating,and visualizing symbolic geometric objects and relations and performing symboli...
详细信息
This paper presents the design and implementation of a geometric-object-oriented language Gool for constructing,representing,manipulating,and visualizing symbolic geometric objects and relations and performing symbolic geometric computation and formal *** language uses case distinction to formalize symbolic geometric objects and relations,reducing the problem of dealing with uncertainty and degeneracy to that of handling geometric *** describe the capabilities,features,and main components of Gool,propose several techniques for geometric constraint handling,and discuss some of the implementation issues.
In this paper we consider about the structure of an intelligent computer-aided control systems design (CACSD) based on object-oriented language. We also indicate a frame in which the controlled system is a receiver an...
详细信息
Points-to information is essential in software engineering, including compiler optimization, instruction-level parallelism, program verification, and so on. The propagating of points-to information along paths of a pr...
详细信息
ISBN:
(纸本)9783642247279
Points-to information is essential in software engineering, including compiler optimization, instruction-level parallelism, program verification, and so on. The propagating of points-to information along paths of a program can be viewed as the "frame problem" in a dynamic world. As a primary knowledge representing and reasoning tool in Artificial Intelligence, Answer Set Programming (ASP) provides a natural and concise way to express the frame problem. We present a collection of ASP rules to model the propagating of points-to information along paths of an object-oriented program. With these rules and basic facts of a program. points-to information at each program point can be computed easily. This makes it possible to acquire useful information for program analysis through existing ASP solvers.
A graphics user interface called GLAD (Graphics language for Database) has been proposed as a unified interface method for interaction with a database. The GLAD interface is a graphic object-orient environment which p...
详细信息
A graphics user interface called GLAD (Graphics language for Database) has been proposed as a unified interface method for interaction with a database. The GLAD interface is a graphic object-orient environment which provides a rich intuitive interaction for the user. The interface between GLAD and the user is accomplished through the use of an object-oriented language(OOL). Predefined classes in an OOL provide a robust capacity for quick prototype implementation. The thrust of this thesis is to describe the current status of the GLAD implementation and show how the use of an object-oriented language is an effective tool for implementation of the GLAD interface.
ACTOR, an object-oriented follow-on language to Smalltalk, is used in an implementation of a prototype video store management package and in the implementation of a tree abstract data type package. The language has hi...
详细信息
ACTOR, an object-oriented follow-on language to Smalltalk, is used in an implementation of a prototype video store management package and in the implementation of a tree abstract data type package. The language has high power, familiar syntax, portability, windowing and extensive development tools which make it an excellent choice for prototyping. The intuitive nature of the language and the close connection between modeling physical and logical entities are aptly demonstrated by detailed discussion of the design of the video management package. Implementation of binary search tree and AVL tree abstract data types demonstrate that coding of constructs which are procedural in nature does not exploit the strengths of an object-oriented language such as ACTOR.
In this thesis we discuss the design issues of a styl- ized natural language syntax for Omega, an object-oriented programming language tuilt upon rule-based pattern matching. Emphasis is placed en simplicity and flexi...
详细信息
In this thesis we discuss the design issues of a styl- ized natural language syntax for Omega, an object-oriented programming language tuilt upon rule-based pattern matching. Emphasis is placed en simplicity and flexibility in the design. The feasibility of the proposed grammar (Omega-1.5) is evaluated by developing a prototype translator to trans- late the Omega-1.5 grammar into the predicate logic style of Cmega-1. Sample applications are provided to examine the features of the grammar and to explore possible application areas. limitations in the design are analyzed and potential ameliorations are suggested. We conclude with a general assessment of the overall Omega system.
In this paper we consider about the structure of an intelligent computer-aided control systems design (CACSD) based on object-oriented language. We also indicate a frame in which the controlled system is a receiver an...
详细信息
In this paper we consider about the structure of an intelligent computer-aided control systems design (CACSD) based on object-oriented language. We also indicate a frame in which the controlled system is a receiver and the control design is a message. From this view we construct the extended feedback structure of a design process. The graphics produced by object-oriented language is important for designing control systems, because it is concerning with the characteristics of a control system but also presenting the structure of a control. We point out that the graphics or the symbols are treated as input and output patterns produced from the design process. It is displayed as a complex potential which is an extended form of the Bode diagram. The complex function expresses a control structure as the transformation of a transfer function. Finally We explain a graphic data-base for intelligent control systems design and a human fuzziness which is transferred into the computer through graphics or symbols.
Grace is a new object-oriented language that supports a variety of approaches to teaching programming. It integrates accepted new ideas in programming languages into a simple language that allows students and teachers...
详细信息
ISBN:
(纸本)9781450318686
Grace is a new object-oriented language that supports a variety of approaches to teaching programming. It integrates accepted new ideas in programming languages into a simple language that allows students and teachers to focus on the essential complexities of programming rather than the accidental complexities of the language. We motivate Grace, review its design, and evaluate it against Kolling's criteria.
In this paper, we suggest a new object-oriented functional language, OOId, which is based on a functional language fd and extended with object-oriented language features. We also discuss how to map OOId program onto D...
详细信息
ISBN:
(纸本)0818682272
In this paper, we suggest a new object-oriented functional language, OOId, which is based on a functional language fd and extended with object-oriented language features. We also discuss how to map OOId program onto DAVRID, which is a kind of multithreaded architecture based on the dataflow model. The comparison of execution time of two programs written in fd and OOId for the matrix multiplication problem, shows we can effectively run OOId program with just a little slow-down of execution time. In addition, the rate of stow-down is decreased, as the size of the matrix is larger. That means we can use good features od object-oriented language by paying just a little slow-down of execution time.
Concurrency in objectorientedlanguages seems natural. However well known problems arise when we try to define such concurrent objectorientedlanguages. These problems deal with the interferences between expressing ...
详细信息
Concurrency in objectorientedlanguages seems natural. However well known problems arise when we try to define such concurrent objectorientedlanguages. These problems deal with the interferences between expressing true concurrency inside objects and expressing re-use. This article presents a concurrent object model and illustrates through various examples how it solves these interferences.
暂无评论