ConcurrentSmalltalk is a programminglanguage/system which incorporates the facilities of concurrent programming in Smalltalk-801. Such facilities are realized by providing concurrent constructs and atomic objects. Th...
ISBN:
(纸本)9780897912044
ConcurrentSmalltalk is a programminglanguage/system which incorporates the facilities of concurrent programming in Smalltalk-801. Such facilities are realized by providing concurrent constructs and atomic objects. This paper first gives an outline of ConcurrentSmalltalk. Then, the design of ConcurrentSmalltalk is described. The implementation of ConcurrentSmalltalk is presented in detail.
This paper describes the design, specification, implementation of and experiences from an interactive flowcharting technique for communicating and realizing algorithms. Educating the expert to know how to use the comp...
详细信息
This paper describes the design, specification, implementation of and experiences from an interactive flowcharting technique for communicating and realizing algorithms. Educating the expert to know how to use the computer system is important, since then he/she can easily express his/her ideas in the same 'language' as the other persons in the software development group. Our goals are: to help novices to understand computers, by giving them a framework for organizing algorithms, and to support development of software produced by groups of people over an extended period of time. Based on the notions of dimensional flowcharts a system called the DIMsystem has been developed for handling structured flowcharts.
Introducing a geometrical approach to propositional divalent logic with the truth-tables of the Boolean connectives as the geometrical objects, we can make a simple operational implementation in APL of basic inference...
ISBN:
(纸本)9780901865359
Introducing a geometrical approach to propositional divalent logic with the truth-tables of the Boolean connectives as the geometrical objects, we can make a simple operational implementation in APL of basic inference methods. This is the basis for a logic programming tool used for preliminary product design at the Danish company Bang&Olufsen.
The programming style suggested by the parallel language Linda, and the ways in which Linda's style differs from what is natural to most other parallel languages, is discussed. In most other languages, shared data...
详细信息
ISBN:
(纸本)0818606371
The programming style suggested by the parallel language Linda, and the ways in which Linda's style differs from what is natural to most other parallel languages, is discussed. In most other languages, shared data objects are incapsulated in manager processes and are directly accessible only to their managers;in Linda, parallel processes have direct access to shared data objects, and many processes may manipulate a distributed data structure simultaneously. Also Linda is sufficiently simple and flexible to serve as an implementationlanguage for higher-level parallel languages;it is in this sense a parallel systems-programminglanguage. Linda's structure is outlined, and a series of programming examples are discussed. A Linda simulator runs on the Apollo workstation, and the parallel Linda kernel itself runs on the Bell Labs S/Net multicomputer. Linda systems for other multicomputers are now in design.
Anna is a language extension of Ada to include facilities for formally specifying the intended behavior of Ada programs. It augments Ada with precise machine-processable annotations so that well established formal - m...
详细信息
The implementation of a nonprocedural functional modeling language (FML) is considered. The authors describe a compiler, an abstract machine builder, an abstract machine evaluator, and a host simulator interface, whic...
详细信息
ISBN:
(纸本)0818606355
The implementation of a nonprocedural functional modeling language (FML) is considered. The authors describe a compiler, an abstract machine builder, an abstract machine evaluator, and a host simulator interface, which are connected through object-oriented interfaces. The abstract machine contains a representation of the electrical semantics of FML models as well as its compiled code. An event-driven logic simulator paradigm is used in its evaluation. The design of the FML compiler is outlined, along with the simulator/FML execution module interface.
作者：
Doberkat, Ernst E.Clarkson Univ
Dep of Mathematics & Computer Science Potsdam NY USA Clarkson Univ Dep of Mathematics & Computer Science Potsdam NY USA
Author describes two experiments in constructing efficient versions from SETL programs in order to quantitatively demonstrate SETL's power as a language for rapid prototyping. The target language is LITTLE, SETL&#...
详细信息
Author describes two experiments in constructing efficient versions from SETL programs in order to quantitatively demonstrate SETL's power as a language for rapid prototyping. The target language is LITTLE, SETL's implementationlanguage. Two approaches are tried: using SETL's extensive and sophisticated run time library for manipulating its very high level data structures, and a 'free' approach that rests on the design of custom tailored data representations. The performance of both approaches is compared. Author discusses a project that aims at an automatic translation from SETL to C.
The Prolog programminglanguage originated as an outgrowth of the work in automatic theorem proving. It comprises an almost purely declarative syntax and semantics based on a form of the first-order predicate calculus...
详细信息
The Prolog programminglanguage originated as an outgrowth of the work in automatic theorem proving. It comprises an almost purely declarative syntax and semantics based on a form of the first-order predicate calculus, combined with a simple control algorithm that allows for a fairly efficient implementation, both in terms of execution time and memory usage. This paper describes the use of Prolog as a system designlanguage which, in addition to providing precision and clarity, allows designs to be tested in execution. Mention is also made of the usability of Prolog in small machine environments with modest amounts of memory.
Two components of a VLSI design environment being built at Princeton are described. The general theme of this effort is to make the design of VLSI circuits as similar to programming as possible. A conscious attempt is...
详细信息
暂无评论