The European Formal Definition of Ada. A U.S. Perspective

Abstract

IDA Memorandum Report M-389, The European Formal Definition of Ada--A U.S. Perspective, documents an evaluation of the European Economic Community's formal definition of Ada. The report includes an estimation of the benefits of U.S. participation in the Advisory Group which reviewed the formal definition work, describes what could be accomplished with the formal definition by interested U.S. parties, and presents an opinion of what should be done. Keywords: Ada programming language; European economic community (EEC); Ada formal definition; Semantics; Meta language; SMoLCS.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1988
Accession Number
ADA225519

Entities

People

  • Richard A. Platek

Organizations

  • Institute for Defense Analyses

Tags

Communities of Interest

  • Energy and Power Technologies
  • Human Systems

DTIC Thesaurus Topics

  • Computer Languages
  • Computer Programming
  • Computer Science
  • Debugging
  • Department Of Defense
  • European Communities
  • Governments
  • Grammars
  • High Level Languages
  • Language
  • Law
  • Mathematics
  • Natural Languages
  • Programming Languages
  • Software Development
  • Standards
  • United States

Readers

  • Computational Linguistics
  • International Relations and European Studies
  • Life Cycle Cost Analysis