H ? « ‹ ← → › »

Language peer sets for CASL:
Italy↑
Italy/1995↑
Designed 1995 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

CASL(ID:2694/cas006)

alternate simple view
Country: Italy
Designed 1995
Published: 1995

The CoFl Algebraic Specification Language (CoFI = Common Framework Initiative for Algebraic Specification and Development)

FOL with partiality, subsorting and generation constraints
Related languages
FOL → CASL   Extension of
CASL → Casl LTL   Extension of
References:
  • 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: COFI etc Extract:
  • Mosses, Peter D. (1997) Mosses, Peter D. CoFI: The Common Framework Initiative for Algebraic Specification and Development. In M. Bidoit, M. Dauchet, eds., TAPSOFT 97, Lecture Notes in Computer Science 1214, 115--137. Springer Verlag, 1997
  • Kirchner, H. (2000) Kirchner, H. and C. Ringeissen. Executing CASL Equational Specifications with the ELAN Rewrite Engine. Note T-9 in [14], November 2000.
  • Mossakowski, T. (2000) Mossakowski, T. CASL --- from semantics to tools. Submitted to TACAS 2000.
  • CoFI Language Design Task Group. (2001) CoFI Language Design Task Group. CASL -- The CoFI Algebraic Specification Language -- Summary (version 1.0.1). Documents/CASL/Summary in [14], March 2001.
  • Mossakowski. (2001) Mossakowski. Relating Casl with Other Specification Languages: the Institution Level. Theoretical Computer Science, 51
  • Bidoit, Michel; Sannella, Donald; Tarlecki, Andrze (2002) Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej "Architectural Specifications in CASL" pp252-273 Abstract Online copy
          in (2002) Formal Aspects of Computing 13(3-5) July 2002
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder