The first version of Gypsy was introduced in 1976 to support the specification and construction of verified programs. A second version has evolved based on the experiences of the last two years. The changes introduced...
详细信息
ISBN:
(纸本)9780897910002
The first version of Gypsy was introduced in 1976 to support the specification and construction of verified programs. A second version has evolved based on the experiences of the last two years. The changes introduced in the second version are described. Some experiences with the specification and proof methodology are discussed, and the status of the implementation of the Gypsy compiler and verification system is summarized.
A method for quickly producing compilers for high level languages is described. The technique consists of feeding a description of the language to be translated to a general-purpose macro processor. Used in this way, ...
详细信息
This paper reports on the design and development of a high level language, Malus, for use in implementing a time‐sharing system. Emphasized are the ways that the language and its compiler accommodate the specialized ...
详细信息
A structured systems programming language for the 8080 microprocessor is described. The language provides an algebraic notation for machine- level register and data operations, while incorporating most control constru...
详细信息
A structured systems programming language for the 8080 microprocessor is described. The language provides an algebraic notation for machine- level register and data operations, while incorporating most control constructs available in block-structured high-level languages. Compile- time facilities include recursive macros, expression evaluation, and con- ditional compilation. Object programs are relocatable, and independently compiled procedures can be linked at load-time. The resident compiler executes on a microcomputer system with 16K bytes of main memory.
The cost of a change to a large software system is often primarily a function of the size of the system rather than the complexity of the change. One reason for this is that programs which access some given data struc...
详细信息
The design and implementation of a general purpose graphics software package (GINO) is described. GINO provides facilities for 3D graphics (co‐ordinate transformation, clipping, intensity modulation) but is organized...
详细信息
暂无评论