H ? « »

Language peer sets for SPECTRAL:
Designed 1996
1990s languages
Fifth generation
Post-Cold War


alternate simple view
Designed 1996

Specification language based on PAnnD-A and EML

Related languages
EML SPECTRAL   Incorporated some features of
PAnnDA-S SPECTRAL   Based on

  • (1991) B. Krieg-Bruckner and D. Sannella. Structuring Specifications in-the-large and in-the-small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL. In S. Abramsky and T. S. E. Maibaum, editors, TAPSOFT '91. Proceedings of the International Joint Conference on Theory and Practice of Software Development. Volume 1: Colloquium on Trees in Algebra and Programming, pages 103-120. Springer LNCS 493, 1991.
  • Cerioli et al (1997) Cerioli, Maura; Gogolla, Martin; Kirchner, Helene; Bruckner, Bernd Krieg; Qian, Zhenyu; Wolf, Markus "Algebraic System Specification and Development - Survey and Annotated Bibliography" Second Edition Compass Group Bremen 1997 Abstract ps Extract: SPECTAL Extract:
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder