ASIS for GNAT: From the prototype to the full implementation-Reference-Cited by-同舟云学术

ASIS for GNAT: From the prototype to the full implementation

Published:1996 Issue: Volume: Page:298-311
ISSN:0302-9743
Container-title:Reliable Software Technologies — Ada-Europe '96
language:
Short-container-title:

Author:

Rybin Sergey,Strohmeier Alfred,Kuchumov Alexey,Fofanov Vasily

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0013497

Reference7 articles.

1. ASIS documents are available electronically on the World Wide Web: http://www.acm.org/sigada/WG/asiswg/asiswg.html or by anonymous ftp: sw-eng.falls-church.va.us/public/AdaIC/work-grp/asiswg

2. E. Schonberg, B. Banner: The GNAT Project: A GNU-Ada 9X Compiler. Ada Europe News, March 1995, No 20. pp. 10–19.

3. S. Rybin, A. Strohmeier, E. Zueff: ASIS for GNAT: Goals, Problems and Implementation Strategy. In Marcel Toussaint (Ed.), Second International Eurospace — Ada-Europe Symposium Proceedings, LNCS no 1031, Springer, pp. 139–151.

4. -: Ada 95 Reference Manual. Intermetrics Inc., Feb 15, 1995 (ISO/ IEC 8652:1995)

5. R. Dewar: The GNAT Compilation Model. Ada Europe News, March 1995, No 20. pp. 20–23.

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Test Environment for High Integrity Software Development;Lecture Notes in Computer Science;2003

2. About the Difficulties of Building a Pretty-Printer for Ada;Lecture Notes in Computer Science;2002

3. DataFAN: A Practical Approach to Data Flow Analysis for Ada 95;Lecture Notes in Computer Science;2002

4. OASIS – An ASIS Secondary Library for Analyzing Object-Oriented Ada Code;Reliable SoftwareTechnologies — Ada-Europe 2001;2001

5. An Ada95 Programming Style Checker Using the GNAT ASIS Implementation;Reliable Software Technologies Ada-Europe 2000;2000