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 viewCountry: 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
References: in Procs. (1995) Procs. 7th International Symposium on Programming Languages: Implementations, Logics and Programs (PLILP), Utrecht (The Netherlands), September 1995, LNCS 982, 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 |