Liknande böcker

Ada 95 Reference Manual: Language and Standard Libraries
Bok av Tucker S Taft
A Review of Ada Tasking
Bok av Alan Burns
Reliable Software Technologies - Ada-Europe '97
Bok av Ada-Europe International Conference on Reliable Software Technologies
ANNA : a language for annotating ADA programs : reference manual
Bok av David C Luckham
Ada 95, Quality and Style : Guidelines for Professional Programmers
Bok av Christine Ausnit-Hood
Ada från början : med Ada 95 standard
Bok av Jan Skansholm
Concurrency in Ada
Bok av Alan Burns
Reliable software technologies : Ada-Europe '99 : 1999 Ada-Europe Intern...
Bok av Michael Gonzalez Harbour

DIANA : an intermediate language for Ada

Bok av G Goos
Abstract.- Acknowledgments.- Preface.- Definition of the Diana domain.- Rationale.- Definition of the Diana operations.- External representation of DIANA.- Implementation options.