H ? « ‹ ← → › »

Language peer sets for ASF:
Netherlands↑
Netherlands/1989↑
Designed 1989 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
Specialised Languages ↑
Specialised Languages/1989↑
Specialised Languages/nl ↑

ASF(ID:1455/asf001)

Algebraic Specification Formalism 

alternate simple view
Country: Netherlands
Designed 1989
Published: 1989
Sammet category: Specialised Languages

for Algebraic Specification Formalism

CWI Holland.

Language for equational specification of abstract data types.

Places
Related languages
ASF → ASF+SDF   Subsumed
ASF → COLD   Influence
References:
  • J.A. Bergstra et al eds (1989) J.A. Bergstra et al eds "Algebraic Specification", A-W 1989.
  • 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: LOTOS and PSF Extract: ASF Extract:
  • M. G. J. Van Den Brand , J. Heering , P. Klint , P (2002) M. G. J. Van Den Brand , J. Heering , P. Klint , P. A. Olivier, "Compiling language definitions: the ASF+SDF compiler" Abstract Extract: Brief survey
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder