Timing Analysis of Ada Tasking Programs
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Developing an automated Ada training product
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
Tasking deadlocks in programs with the full Ada 95
ACM SIGAda Ada Letters
The safety-critical Java memory model: a formal account
FM'11 Proceedings of the 17th international conference on Formal methods
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Hi-index | 0.00 |
From the Publisher:Written by a key member of the original Ada design team Programming in Ada 95 and its predecessor, Programming in Ada have long been established as the definitive texts on Ada. Now John Barnes has revised and updated this classic book to enhance its value to both Ada newcomers and veteran Ada programmers alike.Ada 95 is the first fully object oriented language to become an ISO standard, its power and flexibility make it suited to a wide range of complex applications, from process control and industrial design to telecommunications and diagnostic analysis.This book provides complete tutorial coverage of all the core features of the language, illustrated throughout with extensive examples.Key Features: Six new examples of complete programs included as distinct chapters, with commentary CD featuring special edition of ObjectAda compiler, including online Ada Reference Manual More on overall program structure, child units and object oriented programming Further detail on the predefined library New edition also features a broader overview in the introductory chapters and further discussions of advanced topics such as storage pools and an extended index.