Towards a formal description of Ada
From MaRDI portal
Publication:1148118
zbMath0451.68015MaRDI QIDQ1148118
No author found.
Publication date: 1980
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Theory of software (68N99)
Related Items
A guided tour of the mathematics of MetaSoft '88, Compositional semantics for real-time distributed computing, Some primitives for the portable programming of array and vector processors, VDM semantics of programming languages: Combinators and monads, Incorporating static analysis in a combinator-based compiler, Parametric channels via label expressions in CCS, On conservative extensions of syntax in system development