Abstract
Every month since June 1996 has a small C/C++-program been part of an advertisement series for a semantic checker for C/C++, PC-lint . Each program contains errors, which are not detected by a C/C++-compiler but by the company’s product. Up to December 1999 43 programs have been publicised. These C/C++-programs has been analyzed in order to see which of the errors a normal Ada compiler will detect, if the programs had been written in Ada. The result is, that 81% of the errors are detected. The remaining errors indicate areas, where improvements in Ada compilers are helpful.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Homepage of Gimpel Software, http://www.gimpel.com
Ichbiah, J.D., Heliard, J.C., Roubine, O., Barnes, J.G.P., Krieg-Brueckner, B., Wichmann, B.A.: Rationale for the Design of the Ada Programming Language. SIGPLAN Notices 14(6), 1–261 (1979)
Bernstein, S.J., Duff, R.S.: Optimizing Ada on the Fly. Ada letters XIX 3 (September 1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Källberg, B. (2000). Is an Ada Lint Necessary?. In: Keller, H.B., Plödereder, E. (eds) Reliable Software Technologies Ada-Europe 2000. Ada-Europe 2000. Lecture Notes in Computer Science, vol 1845. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722060_6
Download citation
DOI: https://doi.org/10.1007/10722060_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67669-0
Online ISBN: 978-3-540-45098-6
eBook Packages: Springer Book Archive