Algebraic specification and program development by stepwise refinement?

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

Volumn 1817, Issue , 2000, Pages 1-9

  Sannella, Donald ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; LOGIC PROGRAMMING; SPECIFICATIONS;

ALGEBRAIC SPECIFICATIONS; FORMAL DEVELOPMENT; PROGRAM DEVELOPMENT; REFINEMENT STEP; STEPWISE REFINEMENT;

COMPUTER CIRCUITS;

EID: 33645730314     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10720327_1     Document Type: Conference Paper

References (24)

1. D. Aspinall. Type Systems for Modular Programs and Specifications. Ph.D. thesis, Dept. of Computer Science, Univ. of Edinburgh (1997).
2. E. Astesiano, H.-J. Kreowski and B. Krieg-Brückner (eds.). Algebraic Foundations of Systems Specification. Springer (1999).
3. M. Bidoit, R. Hennicker and M. Wirsing. Behavioural and abstractor specifications. Science of Computer Programming 25:149-186 (1995).
4. M. Bidoit, D. Sannella and A. Tarlecki. Architectural specifications in Casl. Proc. 7th Intl. Conference on Algebraic Methodology and Software Technology (AMAST'98), Manaus. Springer LNCS 1548, 341-357 (1999).
5. CoFI Task Group on Language Design. Casl - The CoFI algebraic specification language - Summary (version 1.0). http://www.brics.dk/Projects/CoFI/Documents/CASL/Summary/ (1998).
6. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification I: Equations and Initial Semantics. Springer (1985).
7. J. Goguen. Parameterized programming. IEEE Trans. on Software Engineering SE-10(5):528-543 (1984).
8. M. Hofmann and D. Sannella. On behavioural abstraction and behavioural satisfaction in higher-order logic. Theoretical Computer Science 167:3-45 (1996).
9. F. Honsell, J. Longley, D. Sannella and A. Tarlecki. Constructive data renement in typed lambda calculus Proc. 3rd Intl. Conf. on Foundations of Software Science and Computation Structures. European Joint Conferences on Theory and Practice of Software (ETAPS 2000), Berlin. Springer LNCS 1784, 149-164 (2000).
10. F. Honsell and D. Sannella. Pre-logical relations. Proc. Computer Science Logic, CSL'99, Madrid. Springer LNCS 1683, 546-561 (1999).
11. S. Kahrs, D. Sannella and A. Tarlecki. The definition of Extended ML: a gentle introduction. Theoretical Computer Science 173:445-484 (1997).
12. K.-K. Lau, M. Ornaghi and S.-Å. Tärnlund. Steadfast logic programs. Journal of Logic Programming 38:259-294 (1999).
13. J. Loeckx, H.-D. Ehrich and M. Wolf. Specification of Abstract Data Types. Wiley (1996).
14. P. Mosses. CoFI: The Common Framework Initiative for algebraic specification and development. Proc. 7th Intl. Joint Conf. on Theory and Practice of Software Development, Lille. Springer LNCS 1214, 115-137 (1997).
15. C. Russo. Types for Modules. Ph.D. thesis, report ECS-LFCS-98-389, Dept. of Computer Science, Univ. of Edinburgh (1998).
16. D. Sannella. Formal program development in Extended ML for the working programmer. Proc. 3rd BCS/FACS Workshop on Refinement, Hursley Park. Springer Workshops in Computing, 99-130 (1991).
17. D. Sannella, S. Soko lowski and A. Tarlecki. Toward formal development of programs from algebraic specifications: parameterisation revisited. Acta Informatica 29:689-736 (1992).
18. D. Sannella and A. Tarlecki. Toward formal development of programs from algebraic specifications: implementations revisited. Acta Informatica 25:233-281 (1988).
19. D. Sannella and A. Tarlecki. Toward formal development of ML programs: foundations and methodology. Proc. 3rd Joint Conf. on Theory and Practice of Software Development, Barcelona. Springer LNCS 352, 375-389 (1989).
20. D. Sannella and A. Tarlecki. Essential concepts of algebraic specification and program development. Formal Aspects of Computing 9:229-269 (1997).
21. D. Sannella and A. Tarlecki. Foundations of Algebraic Specifications and Formal Program Development. Cambridge Univ. Press, to appear.
22. D. Sannella and M. Wirsing. A kernel language for algebraic specification and implementation. Proc. 1983 Intl. Conf. on Foundations of Computation Theory, Borgholm. Springer LNCS 158, 413-427 (1983).
23. O. Schoett. Data Abstraction and the Correctness of Modular Programming. Ph.D. thesis, report CST-42-87, Dept. of Computer Science, Univ. of Edinburgh (1987).
24. M. Wirsing. Algebraic specification. Handbook of Theoretical Computer Science (J. van Leeuwen, ed.). North-Holland (1990).