Completeness of a logical system for structured specifications

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

Volumn 1376, Issue , 1998, Pages 107-121

  Borzyszkowski, Tomasz ^a  

^a UNIVERSITY OF GDA SK   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957872761     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-64299-4_29     Document Type: Conference Paper

References (15)

1. J. L. Bell, M. Machover. A course in mathematical logic. North-Holland, 1986.
2. J. A. Bergstra, J. Heering, P. Klint. Module algebra. Journal of the ACM, 37(2):335-372, April 1990.
3. M. V. Cengarle. Formal Specifications with High-Order Parameterization. Ph.D. thesis, Institut für Informatik, Ludwig-Maximitians-Universitäit Müenchen, 1994.
4. R. Diaconescu, J. Goguen, P. Stefaneas. Logical Support for Modularization. In: G. Huet, G. Plotkin, editors Logical Environments, Proceedings of a Workshop held in Edinburgh, Scotland, May 1991, Cambridge University Press, pages 83-130, 1993.
5. J. Farrés Casals. Verification in ASL and Related Specification Languages. Ph.D. thesis, report CST-92-92, Dept. of Computer Science, University of Edinburgh, 1992.
6. J. A. Goguen, R. M. Burstall. Institutions: abstract model theory for specifications and programming. Report ECS-LFCS-90-106, University of Edinburgh, 1990.
7. J. A. Goguen, J. Meseguer. Completeness of many-sorted equational logic. Houston Journal of Mathematics, volume. 11(3), pages 307-334, 1985.
8. P. D. Mosses. CoFI: The Common Framework Initiative for Algebraic Specification and Development. Theory and Practice of Software Development, volume 1214 of LNCS, pages 115-137, Springer-Verlag, 1997.
9. D. Sannetla, R. Burstall. Structured Theories in LCF. Proc. 8th Colloq. on Trees in Algebra and Programming, L'Aquila, LNCS 159, pp. 377-391, Springer 1983.
10. D. Sannella, S. Sokolowski, A. Tarlecki. Towards formal development of programs from algebraic specification: parameterization revised. Acta Informatica, volume 29, pages 689-736, 1992.
11. D. Sannella, A. Tarlecki. Specifications in an Arbitrary Institution Information and Computation, volume 76, pages 165-210, 1988.
12. D. Sannella, A. Tarlecki. Essential concepts of algebraic specification and program development. To appear in: Formal Aspects of Computing.
13. A. Tarlecki. Bits and pieces of the theory of institutions. Proc. Workshop on Category Theory and Computer Programming, Guildford. Springer LNCS 240, pages 334-363, 1986.
14. A. Tarlecki. Moving between logical systems. Recent Trends in Data Type Specifications. Selected Papers. 11th Workshop on Specification of Abstract Data Types ADT'95, Olso, September 1995, eds. M. Haveraaen, O. J. Dahl, O. Owe, Springer LNCS 1130, pages 478-502, 1996.
15. M. Wirsing. Structured Specifications: Syntax, Semantics and Proof Calculus. In F. L. Bauer, W. Brauer, and H. Schwichtenberg, editors, Logic and Algebra of Specification, volume 94 of NATO ASI Series F: Computer and Systems Sciences, pages 411-442. Springer Verlag, 1991.