H ? « ‹ ← → › »

Language peer sets for ANNA:
United States↑
United States/1987↑
Designed 1987 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
Genus Digital ↑
Digital↑
Electronic Circuit↑
Continuous ↑
Digital/1987↑
Electronic Circuit/1987↑
Continuous/1987↑
Digital/United States↑
Electronic Circuit/United States↑
Continuous/United States↑

ANNA(ID:883/ann001)

alternate simple view
Country: United States
Designed 1987
Published: 1980
Genus: Digital

ANNotated Ada. ca. 1980. Stanford Adds semantic assertions to Ada as formal comments. Based on first-order logic. Includes generalized type constraints, virtual checking functions, and behavior specification
Related languages
Ada 83 → ANNA   Extension of
References:
  • (1987) "ANNA - A Language for Annotating Ada Programs", David Luckham et al, Springer 1987
  • Luckham, D. (1990) Luckham, D. C. (1990). Programming with specifications : an introduction to ANNA, a language for specifying Ada programs. New York, Springer-Verlag.
  • Burgués, X.; Franch, X. (1995) Burgués, X.; Franch, X. "Evaluation of Expressions in a Multiparadigm Framework" pp455-456 Extract: Introduction Extract: A multiparadigm language Extract: Conclusions and future work
          in Procs. (1995) Procs. 7th International Symposium on Programming Languages: Implementations, Logics and Programs (PLILP), Utrecht (The Netherlands), September 1995, LNCS 982,
  • (2002) Library of Congress Subject Headings A54
          in Procs. (1995) Procs. 7th International Symposium on Programming Languages: Implementations, Logics and Programs (PLILP), Utrecht (The Netherlands), September 1995, LNCS 982,
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder