H ? « ‹ ← → › »

Language peer sets for Verdi:
Canada↑
Canada/1990↑
Designed 1990 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

Verdi(ID:2606/ver001)

alternate simple view
Country: Canada
Designed 1990

for the Italian composer Giuseppe Verdi

Provable systems language. Descendant of Ottawa Euclid.
Related languages
m-Verdi → Verdi   Evolution of
Verdi → SPARC Verdi   Implementation
Verdi → s-Verdi   Extension of
References:
  • Saaltink, M. (1989) Saaltink, M. "A FORMAL DESCRIPTION OF VERDI" Odyssey Research Associates Inc, Ottawa ONT (CAN) Technical Report TR-89-5429-10; 15 Oct 1989 Abstract
  • Craigen, D. (1990) Craigen, D. "REFERENCE MANUAL FOR THE LANGUAGE VERDI" Odyssey Research Associates Inc, Ottawa ONT (CAN) Technical Report TR-90-5429-09; 15 Feb 1990 Abstract
  • Saaltink, M.; Craigen, D. (1990) Saaltink, M.; Craigen, D. "SIMPLE TYPE THEORY IN EVES" Odyssey Research Associates Inc, Ottawa ONT (CAN) 01 Jan 1990 Abstract
  • D. Craigen, S. Kromodimoeljo, I. Meisels, W. Pase (1991) D. Craigen, S. Kromodimoeljo, I. Meisels, W. Pase and M. Saaltink. "EVES: An Overview" In "Proceedings of VDM '91 (Formal Software Development Methods)", Noordwijkerhout, The Netherlands (October 1991), Lecture Notes in Computer Science 551, Springer-Verlag, Berlin, 1991. Abstract
  • Irwin Meisels (1991) Irwin Meisels "Verdi Interpreter User's Manual" ORA Canada, April 1991 ps Abstract
  • D. Craigen, S. Kromodimoeljo, I. Meisels, B. Pase (1992) D. Craigen, S. Kromodimoeljo, I. Meisels, B. Pase and M. Saaltink. "EVES System Description" In Proceedings of CADE-11, Saratoga Springs, NY (June 1992), Springer-Verlag, New York, 1992. Abstract
  • Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Da (1993) Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen and Irwin Meisels "An EVES Data Abstraction Example" In Proceedings of "Formal Methods Europe'93" (FME'93, Odense, Denmark), Springer-Verlag, April 1993. Abstract
  • Irwin Meisels (1994) Irwin Meisels "Translating Verdi Intermediate Language into SPARC Code" ORA Canada, July 1994. Abstract
  • Meisels, Irwin An Alternative Syntax for Verdi. (1994) Meisels, Irwin An Alternative Syntax for Verdi. ORA Technical Report TR-94-5478-02, March 1994. Abstract ps
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder