Towards a Formal Description of Ada (Lecture Notes in Computer Science, 98, Band 98) - Softcover

Oest, O.N.; Bjorner, D

 
9783540102830: Towards a Formal Description of Ada (Lecture Notes in Computer Science, 98, Band 98)
Softcover
ISBN 10: 3540102833 ISBN 13: 9783540102830
Verlag: Springer, 2008

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540102833
ISBN 13 
9783540102830
Einband
Taschenbuch
Anzahl der Seiten
648
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland