CASL: A guided tour of its design

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1589, Issue , 1999, Pages 216-240

  Mosses, Peter D ^a,b  

^a AARHUS UNIVERSITY   (Denmark)

^b CoFI:The Common Framework Initiative for algebraic specication and development ^*  (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; DESIGN;

CASL LANGUAGES; CRITICAL SELECTION; DESIGN PROCESS; FUNCTIONAL REQUIREMENT; FUNDAMENTAL CONCEPTS; MODULAR DESIGNS; PARTIAL FUNCTIONS;

ALGEBRA;

EID: 84953728178     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48483-3_15     Document Type: Conference Paper

References (19)

1. Michel Bidoit, Donald Sannella, and Andrzej Tarlecki., Architectural specications in CASL. In Proc. 7th Intl. Conference on Algebraic Methodology and Software Technology (AMAST'98), volume 1548 of LNCS, pages 341{357. Springer, 1998. 235
2. CoFI. The Common Framework Initiative for algebraic specication and development, electronic archives. Notes and Documents accessible by WWW6 and FTP7. 239, 239, 239, 239, 239, 239, 240, 240, 240, 240, 240, 240, 240, 240
3. CoFI Language Design Task Group. Response to the Referee Report on Casl. Documents/CASLRefereeResponse, in [2], August 1997. 239
4. CoFI Language Design Task Group. Casl The CoFI Algebraic Specication Language Summary. Documents/CASLSummary, in [2], October 1998. 225, 235, 237
5. CoFI Semantics Task Group. Casl The CoFI Algebraic Specication Language (version 0.97) Semantics. Note S6, in [2], July 1997. 238
6. CoFI Semantics Task Group. Casl The CoFI Algebraic Specication Language Semantics (Preliminary Version). Note S9, in [2], November 1998. 238
7. Anne Haxthausen, Bernd Krieg-Brückner, and Till Mossakowski. Subsorted partial higher-order logic as an extension of Casl. Note L10, in [2], October 1998. 238
8. Einar W. Karlsen. Interoperability of Casl tools using CORBA. Note T5, in [2], October 1997. 238
9. Till Mossakowski., Translating other specication languages into Casl. Presented at WADT'98. 238
10. Till Mossakowski. Sublanguages of Casl. Note L7, in [2], December 1997. 238
11. Till Mossakowski. Two \functional programming" sublanguages of Casl. Note L9, in [2], March 1998. 238
12. Till Mossakowski, Kolyang,. and Bernd Krieg-Brückner., Static semantic analysis and theorem proving for Casl. In 12th Workshop on Algebraic Development Techniques, Tarquinia, volume 1376 of LNCS, pages 333-348. Springer-Verlag, 1998. 238
13. Peter D. Mosses. CoFI: The Common Framework Initiative for algebraic speci-cation. Bull. EATCS, (59):127-132, June 1996. 216
14. Peter D., Mosses. Casl for ASF+SDF users. In ASF+SDF'97, 2nd Intl. Workshop on the Theory and Practice of Algebraic Specications, volume http://www.springer.co.uk/ewic/workshops/ASFSDF97ofElectronicWorkshopsinComputing.Springer-Verlag,1997. Invited lecture. 238
15. Peter D. Mosses. Potential use of SGML for the Casl interchange format. Note T4, in [2], October 1997. 238
16. Peter D. Mosses. CoFI: The Common Framework Initiative for Algebraic Speci cation and Development. In TAPSOFT '97: Theory and Practice of Software Development, volume 1214 of LNCS, pages 115-137. Springer-Verlag, 1997. Documents/ Tentative/Mosses97TAPSOFT, in [2]. 237
17. Peter D. Mosses. Formatting Casl specications using LATEX. Note C2, in [2], June 1998. 238
18. W. Reif. The KIV-approach to Software Verication. In KORSO: Methods, Languages, and Tools for the Construction of Correct Software {Final Report, volume 1009 of LNCS, pages 339-368. Springer-Verlag, 1995. 238
19. Mark van den Brand, Paul Klint, and Pieter Olivier. Aterms: Exchanging data between heterogeneous tools for Casl. Note T3 (revised draft), in [2], March 1998. 238