H ?
«
‹
←
→
›
»
Language peer sets for SPECTRAL:
Designed 1996 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
SPECTRAL(ID:8397/)
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 |
References:
(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
|