Liknande böcker

Ada: The Choice for '92
Bok
An Analytical Description of CHILL, the CCITT High Level Language
Bok av Paul Branquart
Prolog and its Applications
Bok av F U M I O MIZOGUCHI
Reliable software technologies : Ada-Europe '99 : 1999 Ada-Europe Intern...
Bok av Michael Gonzalez Harbour
Reliable Software Technologies Ada-Europe 2000
Bok av Erhard Plödereder
The formal semantics of programming languages : an introduction
Bok av Glynn Winskel
Foundations of object-oriented languages : proceedings
Bok av J W De Bakker
ESEC '87 : 1st European Software Engineering Conference Strasbourg, Fran...
Bok av Howard K Nichols

Towards a Formal Description of Ada

Bok av Dines Bjorner
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.