H ? « ‹ ← → › »

Language peer sets for ASL:
Germany↑
Germany/1986↑
Designed 1986 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

ASL(ID:1200/asl001)

alternate simple view
Country: Germany
Designed 1986
Published: 1986

Algebraic Specification Language.
Related languages
ASL → PLUSS   Extension of
References:
  • Wirsing, M. (1986) Wirsing, M. "Structured Algebraic Specifications: A Kernel Language", Theor Comput Sci 42, pp.123-249, Elsevier 1986.
  • Okano Kouzou, Kitamichi Junji, Higashino Teruo, Ta (1990) Okano Kouzou, Kitamichi Junji, Higashino Teruo, Taniguchi Ken'ichi "A Stock Management Program written in Algebraic Language ASL and Its Correctness Proof" Abstract
          in (1990) IPSJ SIGNotes Programming Language No.027 - 023
  • (1995) M. Wirsing. Algebraic Specification Languages: An Overview. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Type Specifications. 10th Workshop on Specification of Abstract Data Types, pages 81-115. Springer LNCS 906, 1995
          in (1990) IPSJ SIGNotes Programming Language No.027 - 023
  • 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: ASL Extract:
          in (1990) IPSJ SIGNotes Programming Language No.027 - 023
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder