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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Structuring the formal definition of Ada


    Contributors:


    Publication date :

    1986-01-01


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    Formal structuring for development of level crossing ontology

    Drewes, J. / Slovak, R. / Tordai, L. et al. | Tema Archive | 2007





    Structuring a Definition of Resilience for the Freight Transportation System

    Ta, Chilan / Goodchild, Anne V. / Pitera, Kelly | Transportation Research Record | 2009