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...
详细信息
This paper discusses some of the decisions involved in the creation of Waterloo microAPL. It describes the goals of the project and some of the concerns with respect to a sucessful implementation. An explanation of th...
This paper reports on an existing, operational prototype system, TG/TF2, for the generation of typeset quality documentation from a formal database. TG/TF2 directly supports the conceptual separation of system design,...
详细信息
ISBN:
(纸本)089791080X
This paper reports on an existing, operational prototype system, TG/TF2, for the generation of typeset quality documentation from a formal database. TG/TF2 directly supports the conceptual separation of system design, document content design, and document format design. Specifically, support for system design is supplied by Problem Statement language/Problem Statement Analyzer (PSL/PSA), a development of the ISDOS Project at the University of Michigan. Document content design support is provided by the Text Generator (TG) language system. Text Formatter, Version 2 (TF2) supports document format *** is a programminglanguage system specifically tailored for accessing a PSL/PSA database. TG supports document content design through an outline facility that allows the specification of both the order and conceptual content of each section of the ***2 provides typeset quality output from the text generated by TG. Though similar in flavor to most “pretty printer”/RUNOFF programs, TF2 has been tailored to the requirements of automatic document production without human *** paper describes the improvements needed in both concept and implementation before the prototype system can be made into an operational tool. The motivation, genesis, and conceptual basis of TG/TF2 are treated, not the details of the software.
暂无评论