Towards a Formal Description of Ada [electronic resource] /
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:
Main Authors: | , , |
---|---|
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!
|