This paper describes the final phase of an Ada compiler which produces code for the VAX 11/780 running the Unix operating system. Problems encountered in the implementation of subprogram calls, parameter passing, func...
详细信息
A formal definition of the syntax and semantics of Preliminary Ada has been designed and partially implemented as a metaprogram in the SEMANOL system. The paper describes the design in detail and also presents excerpt...
详细信息
This paper describes the August 1980 state of the development of a formal model of the Ada task-II concept. The model is being developed at the Department of Computer Science, Technical University of Denmark in collab...
详细信息
The proceedings contain 26 papers. The topics discussed include: the Ada compiler validation capability;an experience with parallelism in Ada;Ada debugging and testing support environments;using Ada for industrial emb...
ISBN:
(纸本)0897910303
The proceedings contain 26 papers. The topics discussed include: the Ada compiler validation capability;an experience with parallelism in Ada;Ada debugging and testing support environments;using Ada for industrial embedded microprocessor applications;overloading in preliminary Ada;a runtime representation for Ada variables and types;generics and verification in Ada;nesting in Ada programs is for the birds;the rendezvous and monitor concepts: is there an efficiency difference?;the NYU Ada translator and interpreter;a multi-processing implementation-oriented formal definition of Ada in SEMAN;on a formal model of the tasking concept in Ada;and the design of a virtual machine for Ada.
Various features of Ada [Ichbiah 79, Honeywell 80] make type resolution an interesting and difficult as Implemented in a semantic analyzer for Ada built in 1979-80. First, a straightforward algorithm, similar to that ...
详细信息
An applicative language called HOPE is described and discussed. The underlying goal of the design and implementation effort was to produce a very simple programminglanguage which encourages the construction of clear ...
SKIM is a computer built to explore pure functional programming, combinators as a machine language and the use of hardware to provide direct support for a high level language. Its design stresses simplicity and aims a...
详细信息
Tinker is an experimental interactive programming system which integrates program testing with program design. New procedures are created by working out the steps of the procedure in concrete situations. Tinker displa...
详细信息
The formulation and analysis of a design specification is almost always of more utility than the verification of the consistency of a program with its specification. Good specification tools can assist in this process...
详细信息
DIAL is a problem-oriented and high-level programminglanguage oriented towards database applications. It integrates into a unified framework database primitives and computational facilities, so that an application pr...
详细信息
暂无评论