Towards a Formal Description of Ada [electronic resource] /

Towards a Formal Description of Ada [electronic resource] /

Show other versions (1)

The DDC Ada compiler development method -- A denotational (static) semantics method for defining Ada context conditions -- A formal semantics definition of sequential Ada -- Parallelism in Ada -- The design of a virtual machine for Ada.

Saved in:
Bibliographic Details
Main Authors: Bjørner, D. editor., Nest, O. N. editor., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980
Subjects:Computer science., Programming languages (Electronic computers)., Computer Science., Programming Languages, Compilers, Interpreters.,
Online Access:http://dx.doi.org/10.1007/3-540-10283-3
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items

Similar Items