NASA NTRS · 19890006935
Structuring the formal definition of Ada
Abstract
The structure of the formal definition of Ada are described. At present, a difficult subset of Ada has been defined and the experience gained so far by this work is reported. Currently, the work continues towards the formal definition of the Ada language.
Keep this discovery
Explore connections, maps & timelines
Hansen, Kurt W.. 1986-01-01. Structuring the formal definition of Ada. https://ntrs.nasa.gov/citations/19890006935
Cite the original work for its findings. Save a collection to share your selection of sources.