Ada-Europe '93

Download or Read eBook Ada-Europe '93 PDF written by Michel Gauthier and published by Springer Science & Business Media. This book was released on 1993-06-07 with total page 372 pages. Available in PDF, EPUB and Kindle.
Ada-Europe '93
Author :
Publisher : Springer Science & Business Media
Total Pages : 372
Release :
ISBN-10 : 3540568026
ISBN-13 : 9783540568025
Rating : 4/5 (26 Downloads)

Book Synopsis Ada-Europe '93 by : Michel Gauthier

Book excerpt: This volume contains the proceedings of the twelfth Ada-Europe conference, held in France in 1993. The French name "Ada sans fronti res" (the only French words in the book) symbolizes the unlimitedness and novelty of Ada, as well as Europe-wide interest. Many papers relate to Ada-9X, the new standard that the Ada coimmunity is close to achieving after worldwide consultation and debate about requirements, specification, anddetailed definition. Their focus is on management, real-time, and compiler validation. Part of the conference was on object orientation, together with various issues relating to the general structure of the language, including exceptions to a certain use of genericity and heterogeneous data, efficiency, formal requirements and CASEs, and comparison with a competitor language. A third part relates to real-time, past with performance measurement, present with certification andapplications, and future with the ExTRA project and 9X.


Ada-Europe '93 Related Books

Ada-Europe '93
Language: en
Pages: 372
Authors: Michel Gauthier
Categories: Computers
Type: BOOK - Published: 1993-06-07 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the proceedings of the twelfth Ada-Europe conference, held in France in 1993. The French name "Ada sans fronti res" (the only French words
Static Analysis
Language: en
Pages: 300
Authors: Patrick Cousot
Categories: Computers
Type: BOOK - Published: 1993-09-08 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume constitutes the proceedings of the third International Workshop on Static Analysis (WSA`93), held in Padova, Italy, in September 1993. The objective
Computer Analysis of Images and Patterns
Language: en
Pages: 886
Authors: Dmitry Chetverikov
Categories: Technology & Engineering
Type: BOOK - Published: 1993-08-30 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume constitutes the proceedings of the 5th International Conference on Computer Analysis of Images and Patterns (CAIP'93), held in Budapest, Hungary, in
Algorithms and Computation
Language: en
Pages: 566
Authors: Kam W. Ng
Categories: Computers
Type: BOOK - Published: 1993-11-26 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume presents the proceedings of the fourth annual International Symposium on Algorithms and Computation, held in Hong Kong in December 1993.Numerous sel
Ada in Europe
Language: en
Pages: 542
Authors: Marcel Toussaint
Categories: Computers
Type: BOOK - Published: 1994-12-07 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume constitutes the proceedings of the First International Eurospace/Ada-Europe Symposium, held in Copenhagen in September 1994; this symposium series i