Toward formal development of ML programs: Foundations and methodology

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

Volumn 352 LNCS, Issue , 1989, Pages 375-389

  Sannella, Donald ^a   Tarlecki, Andrzej ^b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b INSTITUTE OF COMPUTER SCIENCE   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

FORMAL DEVELOPMENT; INTERFACE MATCHING; MODULAR DECOMPOSITION; PROGRAM DEVELOPMENT; REFINEMENT STEP; STANDARD ML;

SOFTWARE DESIGN;

EID: 85033716656     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-50940-2_48     Document Type: Conference Paper

References (34)

1. Bauer, F.L. et al (the CIP language group). The Wide Spectrum Language CIP-L. LNCS 183.
2. Bjørner, D., Denvir, T., Meiling, E. and Pedersen, J.S. The RAISE project: fundamental issues and requirements. Report RAISE/DDC/EM/1/V6, Dansk Datamatic Center.
3. Ehrich, H.-D. On the theory of specification, implementation, and parametrization of abstract data types. Journal of the Assoc. for Computing Machinery 29, 206-227.
4. Ehrig, H., Fey, W., Hansen, H., Löwe, M. and Parisi-Presicce, F. Algebraic theory of modular specification development. Technical report, Technische Univ. Berlin.
5. Ehrig, H., Kreowski, H.-J., Mahr, B. and Padawitz, P. Algebraic implementation of abstract data types. Theoretical Computer Science 20, 209-263.
6. Ehrig, H. and Weber, H. Algebraic specification of modules. In: Formal Models in Programming (E.J. Neuhold and G. Chronist, eds.). North-Holland, 231-258.
7. Farrés, J. Forthcoming Ph.D. thesis, Univ. of Edinburgh.
8. Ganzinger, H. Parameterized specifications: parameter passing and implementation with respect to observability. Trans. Prog. Lang. Syst. 5, 318-354.
9. Giarratana, V., Gimona, F. and Montanari, U. Observability concepts in abstract data type specification. Proc. 5th Intl. Symp. on Mathematical Foundations of Computer Science, Gdansk. LNCS 45, 576-587.
10. Goguen, J.A. Parameterized programming. IEEE Trans. Software Engineering SE-10, 528-543.
11. Goguen, J.A. and Burstall, R.M. CAT, a system for the structured elaboration of correct programs from structured specifications. Technical report CSL-118, Computer Science Laboratory, SRI International.
12. Goguen, J.A. and Burstall, R.M. Introducing institutions. Proc. Logics of Programming Workshop, Carnegie-Mellon, LNCS 164, 221-256.
13. Goguen, J.A. and Meseguet, J. Universal realization, persistent interconnection and implementation of abstract modules. Proc. 9th Inti Colloq. on Automata, Languages and Programming, Aarhus. LNCS 140, 265-281.
14. Jones, C. Software Development: A Rigorous Approach. Prentice-Hall.
15. Harper, R. Introduction to Standard ML. Report ECS-LFCS-86-14, University of Edinburgh.
16. Harper, R., MacQueen, D.B. and Milner, R. Standard ML. Report ECS-LFCS-86-2, Univ. of Edinburgh.
17. Harper, R., Milner, R. and Tofte, M. The semantics of Standard ML (version 1). Report ECS-LFCS-87-36, Univ. of Edinburgh.
18. Lipeck, U. Ein algebraischer Kalkül für einer strukturierten Entwurf von Datenabstraktionen. Ph.D. thesis, Abteilung Informatik, Universität Dortmund.
19. MacQueen, D.B. Modules for Standard ML. In [HMM 86].
20. Milner, R. The Standard ML core language (revised). In [HMM 86].
21. Nivela, M.P. and Orejas, F. Initial behaviour semantics for algebraic specifications. Proc. 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, LNCS 332, 184-207.
22. Orejas, F. Characterizing composability of abstract interpretations. Proc. Intl. Conf, on Foundations of Computation Theory, Borgholm, Sweden, LNCS 158, 335-346.
23. Reichel, H. Behavioural equivalence - a unifying concept for initial and final specification methods. Proc. 3rd Hungarian Computer Science Conference, Budapest, 27-39.
24. Reichel, H. Behavioural validity of equations in abstract data types. Contributions to General Algebra 3, Proc. of the Vienna Conference. Teubner, 301-324.
25. Sannella, D. and Tarlecki, A. Some thoughts on algebraic specification. Proc. 3rd Workshop on Theory and Applications of Abstract Data Types, Bremen. Springer Informatik-Fachberichte Vol. 116, 31-38.
26. Sannella, D. and Tarlecki, A. Program specification and development in Standard ML. Proc. 12th ACM Symp. on Principles of Programming Languages, New Orleans, 67-77.
27. Sannella, D. and Tarlecki, A. Extended ML: an institution-independent framework for formal program development. Proc. Workshop on Category Theory and Computer Programming, LNCS 240, 364-389.
28. Sannella, D. and Tarlecki, A. On observational equivalence and algebraic specification. J. Comp, and Sys. Sciences 34, 150-178.
29. Sannella, D. and Tarlecki, A. Specifications in an arbitrary institution. Information and Computation 75, 165-210.
30. Sannella, D.T. and Tarlecki, A. Toward formal development of programs from algebraic specifications: implementations revisited. Acta Information 25, 233-281.
31. Sannella, D.T. and Tarlecki, A. Toward formal development of ML programs: foundations and methodology (long version). Report ECS-LFCS-89-71, Univ. of Edinburgh.
32. Sannella, D. and Wirsing, M. A kernel language for algebraic specification and implementation. Proc. Intl. Conf. on Foundations of Computation Theory, Borgholm, Sweden, LNCS 158, 413-427.
33. Schoett, O. Data abstraction and the correctness of modular programming. Ph.D. thesis, Univ. of Edinburgh.
34. Wand, M. Specification, models, and implementations of data abstractions. Theoretical Computer Science 20, 3-32.