A simple refinement language for CASL

Lecture Notes in Computer Science

Volumn 3423, Issue , 2005, Pages 162-185

  Mossakowski, Till ^a   Sannella, Donald ^b   Tarlecki, Andrzej ^c  

^a UNIVERSITY OF BREMEN   (Germany)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

^c UNIVERSITY OF WARSAW   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER SCIENCE; TREES (MATHEMATICS);

ARCHITECTURAL SPECIFICATIONS; CASL; FORMALIZATION; UNIT SPECIFICATIONS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 24344447862     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31959-7_10     Document Type: Conference Paper

References (17)

1. E. Astesiano, H.-J. Kreowski, and B. Krieg-Brückner. Algebraic Foundations of Systems Specification. Springer, 1999.
2. M. Bidoit and P.D. Mosses. CASL User Manual. LNCS Vol. 2900 (IFIP Series). Springer, 2004.
3. M. Bidoit, D. Sannella, and A. Tarlecki. Architectural specifications in CASL. Formal Aspects of Computing, 13:252-273, 2002.
4. M. Bidoit, D. Sannella, and A. Tarlecki. Global development via local observational construction steps. In Proc. 27th Intl. Symp. on Mathematical Foundations of Computer Science, LNCS Vol. 2420, pages 1-24. Springer, 2002.
5. M. Bidoit, D. Sannella, and A. Tarlecki. Observational interpretation for CASL specifications. In preparation, 2004.
6. T. Brunet. Génération automatique de code à partir de spécifications formelles. Master's thesis, Université de Poitiers, 2003.
7. CoFI. The Common Framework Initiative for algebraic specification and development, electronic archives. Notes and Documents accessible from http: //www.cofi.info/.
8. CoFI (The Common Framework Initiative). CASL Reference Manual. LNCS Vol. 2960 (IFIP Series). Springer, 2004.
9. J. Fitzgerald and C. Jones. Modularizing the formal description of a database system. In Proc. VDM'90 Conference, LNCS Vol. 428. Springer, 1990.
10. J. Goguen and R. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39:95-146, 1992.
11. J. Goguen and K. Lin. Morphisms and semantics for higher order parameterized programming. Available from http://www.cs.ucsd.edu/users/goguen/pps/ shorn.ps, August 2002.
12. C.A.R. Hoare. Correctness of data representations. Acta Informatica, 1:271-281, 1972.
13. R. Milner. An algebraic definition of simulation between programs. In Proc. 2nd Intl. Joint Conf. on Artificial Intelligence, pages 481-489. British Computer Society, 1971.
14. T. Mossakowski. Two "functional programming" sublanguages of CASL. Note L-9, in [7], March 1998.
15. D. Sannella and A. Tarlecki. Toward formal development of programs from algebraic specifications: implementations revisited. Acta Informatica, 25:233-281, 1988.
16. D. Sannella and A. Tarlecki. Foundations of Algebraic Specifications and Formal Program Development. Cambridge University Press, 2005, to appear. See http: //homepages.inf.ed.ac.uk/dts/book/index.html.
17. D. Smith. Designware: Software development by refinement. In Proc. Conference on Category Theory and Computer Science, CTCS'99, volume 29 of Electronic Notes in Theoretical Computer Science. Elsevier, 2000.