Register transfer languages are inadequate as a convenient mathematical formalism which will facilitate the description, analysis, and synthesis of digital systems at various levels of complexity. functional programmi...
详细信息
Register transfer languages are inadequate as a convenient mathematical formalism which will facilitate the description, analysis, and synthesis of digital systems at various levels of complexity. functionalprogramming is considered as an alternative, where the functions correspond to basic modules of combinational logic and the functionals represent the interconnections of these modules. That information which constitutes memory is represented as elements of sequences. Several examples are given, along with a methodology for synthesis.
This paper describes how a general purpose programming language supporting the notion of data abstraction can be used as a data definition and manipulation language for database management systems. The examples used h...
详细信息
ISBN:
(纸本)9781450379212
This paper describes how a general purpose programming language supporting the notion of data abstraction can be used as a data definition and manipulation language for database management systems. The examples used here are based on a functional data model and on a database system called NDB. However, the approach is not limited to or biased towards any particular data model or architecture. The strong typing properties of the data abstraction language are carried over to the realm of database manipulation operations and provide useful consistency checking. The advantage of the approach is that the user deals with but one database programming language, thereby avoiding a separate query and host language.
The design and implementation of a simulator for on-line arithmetic algorithms are described. The simulator evaluates arithmetic expressions given in a highly functional form. Presently, the set of operations supporte...
详细信息
The design and implementation of a simulator for on-line arithmetic algorithms are described. The simulator evaluates arithmetic expressions given in a highly functional form. Presently, the set of operations supported include addition, subtraction, multiplication, division, and square root. Several examples are presented to illustrate the usage of the simulator. The simulator package is implemented in 'C' language on a VAX 11/780 system.
A new view of the high level computerarchitecture is introduced. Language theoretical concepts are applied to digital systems engineering in a manner which allows for more complete understanding of the direct executi...
详细信息
A new view of the high level computerarchitecture is introduced. Language theoretical concepts are applied to digital systems engineering in a manner which allows for more complete understanding of the direct execution machine. This new understanding places more emphasis on the system controller in the selection of the directly executed language. Direct execution system controller specification for any regular high level language is considered.
Programs for data flow machines are written in functionallanguages, some of which require efficient support for dynamic procedure invocation to achieve high performance and programming flexibility. Among the proposed...
详细信息
Proceedings includes 53 papers (4 appear in abstract form only) presented in 25 sessions dealing with various aspects of productivity and its associated measures, human factors quality assurance, experience with tools...
详细信息
Proceedings includes 53 papers (4 appear in abstract form only) presented in 25 sessions dealing with various aspects of productivity and its associated measures, human factors quality assurance, experience with tools, computer software and hardware, education, mathematical models, data base systems, standards, tool evaluation, management, office automation, the role played by the US Dept of Defense, software product quality as well as computerarchitecture. Topics covered include: programminglanguages, integrated circuits, image processing, industrial engineering and hierarchical control. Technical and professional papers from this conference are indexed with the conference code no. 00118 in the Ei Engineering Meetings (TM) database produced by Engineering Information, Inc.
A new view of the high level computerarchitecture is introduced. Language theoretical concepts are applied to digital systems engineering in a manner which allows for more complete understanding of the direct executi...
详细信息
A new view of the high level computerarchitecture is introduced. Language theoretical concepts are applied to digital systems engineering in a manner which allows for more complete understanding of the direct execution machine. This new understanding places more emphasis on the system controller in the selection of the directly executed language. Direct execution system controller specification for any regular high level language is considered.
As digital integrated circuits become more complex, computer Aided Design (CAD) must support more hierarchical design methods. Top-down design is supported in logic simulators by the inclusion of functional models. Th...
详细信息
Each Higher Level Language (HLL) defines a virtual machine. A compiler for a HLL translates a program written for this virtual machine into a program for a lower level target virtual machine, which could be at the ope...
详细信息
ISBN:
(纸本)9781450379212
Each Higher Level Language (HLL) defines a virtual machine. A compiler for a HLL translates a program written for this virtual machine into a program for a lower level target virtual machine, which could be at the operating system, machine language, microcode, or other level. The space and time needed to run the compiled program are influenced by the difference between the functionality and semantics of the source and target virtual machines (semantic gap). As part of the translation process, a compiler binds source language constructs to target language constructs. For example, a variable in a program will be bound to a memory location, and an operator in a program (such as Plus) will be bound to a target machine functional unit (such as an Adder).
The design and implementation of a simulator for on-line arithmetic algorithms are described. The simulator evaluates arithmetic expressions given in a highly functional form. Presently, the set of operations supporte...
详细信息
The design and implementation of a simulator for on-line arithmetic algorithms are described. The simulator evaluates arithmetic expressions given in a highly functional form. Presently, the set of operations supported include addition, subtraction, multiplication, division, and square root. Several examples are presented to illustrate the usage of the simulator. The simulator package is implemented in 'C' language on a VAX 11/780 system.
暂无评论