Algebraic Methods for Specication and Formal Development of Programs

ACM Computing Surveys

Volumn 31, Issue , 1999, Pages 10-

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

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b UNIVERSITY OF WARSAW   (Poland)

^c INSTITUTE OF COMPUTER SCIENCE   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 18944400787     PISSN: 03600300     EISSN: 15577341     Source Type: Journal    
DOI: 10.1145/333580.333589     Document Type: Article

References (8)

1. Kahrs, S. and Sannella, D. 1998. Reflections on the design of a specification language. In Proc. Inti. Colloq. on Fundamental Approaches to Software Engineering. European Joint Conferences on Theory and Practice of Software (ETAPS’98), Volume 1382 of Lecture Notes in Computer Science (1998), pp. 154-170. Springer.
2. Kahrs, S., Sannella, D., and Tarleoki, A. 1997. The definition of Extended ML: A gentle introduction. Theoretical Computer Science 173, 445-484.
3. LerüY, X. 1994. Manifest types, modules, and separate compilation. In Proc. 21st ACM Symp. on Principles of Programming Languages (1994), pp. 109-122. ACM Press.
4. Pitts, A. and Stark, I. 1993. Observable properties of higher order functions that dynamically create local names, or: What’s new? In Proc. 18th Inti. Symp. on Mathematical Foundations of Computer Science, Volume 711 of Lecture Notes in Computer Science (1993), pp. 122-141. Springer.
5. Read, M. and Kazmierozak, E. 1992. Formal program development in modular Prolog: A case study. In Proc. Workshop on Logic Program Synthesis and Transformation, Workshops in Computing (1992), pp. 69-93. Springer.
6. Sannella, D., Sokolowski, S., and Tarleoki, A. 1992. Toward formal development of programs from algebraic specifications: Parameterisation revisited. Acta Informatica 29, 8, 689-736.
7. Sannella, D. and Tarleoki, A. 1986. Extended ML: An institution-independent framework for formal program development. In Proc. Workshop on Category Theory and Computer Programming, Volume 240 of Lecture Notes in Computer Science (1986), pp. 364-389. Springer.
8. Sannella, D. and Tarleoki, A. 1997. Essential concepts of algebraic specification and program development. Formal Aspects of Computing 9, 229-269.