Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
The Programming Language Ada: Reference Manual. LNCS 106, Springer 1980.
Bauer, F.L. et al The Wide Spectrum Language CIP-L. LNCS 183, Springer 1985.
Bednarczyk, M., Borzyszkowski, A., Pawłowski, W. Towards the semantics of the definitional language of MetaSoft. In: VDM and Z — Formal Methods in Software Development, Proc. VDM-Europe Symp. 1990, Kiel, LNCS 428, pp. 477–503, Springer 1990.
Bednarczyk, M., Borzyszkowski, A., Pawłowski, W. Recursive definitions revisited. In: VDM and Z — Formal Methods in Software Development, Proc. VDM-Europe Symp. 1990, Kiel, LNCS 428, pp. 452–476, Springer 1990.
Bednarczyk, M., Borzyszkowski, A., Pawłowski, W. Towards the semantics of the definitional language of MetaSoft: Dependent types. Technical report, Institute of Computer Science PAS, Gdańsk, December 1991.
Bjørner, D., Jones, C.B. The Vienna Development Method: The Meta-Language. Springer LNCS 61, 1978.
Bjørner, D., Jones, C.B. Formal Specification and Software Development. Prentice Hall 1982.
Blikle, A. Denotational engineering. Science of Computer Programming 12(1989), pp. 207–253.
Blikle, A., Tarlecki, A. Naive denotational semantics. In: Information Processing 83, Proc. IFIP World Congress'83, Paris 1983, R.E.A.Mason, ed., pp. 345–355, North-Holland 1983.
Blikle, A., Tarlecki, A., Thorup, M. On conservative extensions of syntax in system development. In: Images of Programming, dedicated to the memory of A.P. Ershov, D.Bjørner, V.Kotov, eds., pp. 209–233, North-Holland 1991.
Burstall, R.M., Goguen, J.A. The semantics of CLEAR, a specification language. Proc. of Advanced Course on Abstract Software Specification, Copenhagen, LNCS 86, pp. 292–332, Springer 1980.
Dahl, O.-J., Myrhaug, B., Nygaard, K. Simula 67 common base language. Report S-22, Norwegian Computing Center, Oslo, 1970.
Ehrig, H., Mahr, B. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Springer 1985.
Ehrig, H., Mahr, B. Fundamentals of Algebraic Specification 2: Module Specifications and Constraints. Springer 1990.
Feijs, L.M.G., Jonkers, H.B.M., Koymans, C.P.J., Renardel de Lavalette, G.R. Formal definition of the design language COLD-K. METEOR Report t7/PRLE/7, Philips Research Laboratories, April 1987.
Goguen, J.A., Burstall, R.M. Introducing institutions. Proc. Logics of Programming Workshop, Carnegie-Mellon, LNCS 164, pp. 221–256, Springer 1984.
Gordon, M.J.C. The denotational description of Programming Languages: An Introduction. Springer 1979.
Guttag, J.V., Horning, J.J., Wing, J. Larch in five easy pieces. Report 5, DEC Systems Research Center, Palo Alto 1985.
Hoare, C.A.R. An axiomatic basis for computer programming. Communications of the ACM 12(1969), pp. 576–580, 583.
Jones, C.B. Systematic Software Development Using VDM. Prentice Hall 1986.
Lampson, B., Burstall, R. Pebble, a kernel language for modules and abstract data types. Information and Computation 76(1988) pp. 278–346.
Larsen, P.G. The Dynamic Semantics of the BSI/VDM Specification Language. Technical report, Dept. of Computer Science, Technical University of Denmark, Lyngby, October 1989.
Liskov, B.H. et al. CLU Reference Manual. LNCS 114, Springer 1981.
MacQueen, D.B. Modules for Standard ML. In: Harper, R., MacQueen, D.B. and Milner, R. Standard ML. Report ECS-LFCS-86-2, Univ. of Edinburgh 1986.
Milner, R., Tofte, M., Harper, R. The Definition of Standard ML. MIT Press 1990.
Moggi, E. A category-theoretic account of program modules. Proc. Category Theory and Computer Science, D.H.Pitt, D.E.Rydeheard, P.Dybjer, A.M.Pitts, A.Poigné, eds., LNCS 389, 101–117, Springer 1989.
Project MetaSoft. Project description, Institute of Computer Science, Polish Academy of Sciences, Warsaw, March 1990.
Nielsen, M., Havelund, K., Wagner, K.R., George, Ch. The RAISE language, method and tools. In: VDM — The Way Ahead, Proc. VDM-Europe Symp. VDM'88, Dublin, R.Bloomfield, L.Marshall, R.Jones, eds., LNCS 328, pp. 376–405, Springer 1988.
Sannella, D., Sokołowski, S., Tarlecki, A. Toward formal development of programs from algebraic specifications: parameterisation revisited. Acta Informatica, to appear; also Bericht 6/90, Informatik, Technische Universität Bremen, April 1990.
Sannella, D., Tarlecki, A. Specifications in an arbitrary institution. Information and Computation 76(1988), pp. 165–210.
Sannella, D., Tarlecki, A. Toward formal development of ML programs: foundations and methodology. Report ECS-LFCS-89-71, Laboratory for Foundations of Computer Science, Dept. of Computer Science, Univ. of Edinburgh 1989; extended abstract in Proc. Colloq. Current Issues in Programming Languages, 3rd Joint Conf. Theory and Practice of Software Development TAPSOFT'89, Barcelona, LNCS 352, pp. 375–389, Springer 1989.
Sannella, D., Tarlecki, A. Extended ML: past, present and future. Proc. 7th Intl. Workshop Specification of Abstract Data Types, Wusterhausen/Dosse, LNCS 534, pp. 297–322, Springer 1991.
Sannella, D., Tarlecki, A. A kernel specification formalism with higher-order parameterisation. Proc. 7th Intl. Workshop Specification of Abstract Data Types, Wusterhausen/Dosse, LNCS 534, pp. 274–296, Springer 1991.
Sannella, D., Wirsing, M. A kernel language for algebraic specification and implementation. Proc. Intl. Conf. Foundations of Computation Theory, Borgholm, Sweden, LNCS 158, pp. 413–427, Springer 1983.
Scott, D. Data types as lattices. SIAM Jour. on Computing 5 (1976), pp. 522–587.
Scott, D. Domains for denotational semantics. Proc. ICALP'82, LNCS 140, Springer 1982.
Scott, D., Strachey, Ch. Towards a mathematical semantics for computer languages. Technical report, Oxford University Computing Laboratory 1971.
Tarlecki, A. Modules for MetaSoft: a technical definition. Technical report, Institute of Computer Science PAS, Warsaw, in preparation.
Tarlecki, A., Wieth, M. A naive domain universe for VDM. In: VDM and Z — Formal Methods in Software Development, Proc. VDM-Europe Symp. 1990, Kiel, LNCS 428, pp. 552–579, Springer 1990.
Wirsing, M. Structured algebraic specifications: a kernel language. Theoretical Computer Science 42(1986) pp. 123–249.
Wirth, N. Programming in Modula-2 (third edition). Springer 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tarlecki, A. (1992). Modules for a model-oriented specification language: A proposal for metasoft. In: Krieg-Brückner, B. (eds) ESOP '92. ESOP 1992. Lecture Notes in Computer Science, vol 582. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55253-7_27
Download citation
DOI: https://doi.org/10.1007/3-540-55253-7_27
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55253-6
Online ISBN: 978-3-540-46803-5
eBook Packages: Springer Book Archive