Moving specification structures between logical systems

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

Volumn 1589, Issue , 1999, Pages 16-30

  Borzyszkowski, Tomasz ^a  

^a UNIVERSITY OF GDA SK   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA;

FORMAL SYSTEMS; LOGICAL SYSTEM; NATURAL EXTENSION; NEW FUNCTIONS; STRUCTURED SPECIFICATION;

SPECIFICATIONS;

EID: 84957634548     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48483-3_2     Document Type: Conference Paper

References (20)

1. E. Astesiano, M. Cerioli. Multiparadigm Specification Languages: a First Attempt at Foundations. In C.A. Middelburg D.J. Andrews, J.F. Groote, editor, Semantics of Specification Languages (SoSL'93), Workshops in Computing, pages 168-185. Springer Verlag, 1994. 16, 26
2. J. A. Bergstra, J. Heering, P. Klint. Module algebra. Journal of the ACM, 37(2):335-372, April 1990.
3. T. Borzyszkowski. Completeness of the logical system for structured specifications. Recent Trends in Algebraic Development Techniques, Selected Papers, 12th International Workshop WADT'97, Tarquinia, Italy, June 1997, ed. Francesco Parisi-Presicce, Springer LNCS 1376, pages 107-121, 1997. 16, 21, 27, 29
4. P. Burmeister. Partial algebras — survey of a unifying approach towards a two-valued model theory for partial algebras. Algebra Universalis, 15:306358, 1982.
5. P. Burmeister. A model theoretic approach to partial algebras. Akademie Verlag, Berlin, 1986.
6. M. V. Cengarle. Formal Specifications with High-Order Parameterization. Ph.D. thesis, Institut fur Informatik, Ludwig-Maximilians-Universitat Miienchen, 1994. 16, 25, 26
7. M. Cerioli, J. Meseguer. May I Borrow Your Logic? (Transporting Logical Structures along Maps) Theoretical Computer Science, 173(2):311-347, 1997. 16, 26
8. 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, pp. 83-130, 1993.
9. J. A. Goguen, R. M. Burstall. Institutions: abstract model theory for specifications and programming. Journal ofthe Assoc. for Computing Machinery, 39:95-146, 1992. 17, 17, 17, 18
10. J. A. Goguen, J.Meseguer. Completeness of many-sorted equational logic. Houston Journal of Mathematics, volume 11(3), pages 307-334, 1985. 26
11. R. Harper, D. Sannella, A. Tarlecki. Structured theory presentations and logic representations. Annals of Pure and Applied Logic, volume 67, pages 113-160, North-Holland 1994. 16, 16, 16, 17, 26, 27, 27, 27, 27, 27, 27
12. J. Meseguer, General logic. Logic Colloquium'87, eds. H. D. Ebbinghaus et al., pages 279-329, North-Holland 1989. 18
13. T. Mossakowski. Representations, Hierarchies, and Graphs of Institutions. Ph.D. thesis, Fachbereich Mathemetik und Informatik der Universitaat Bremen, 1996. 16
14. 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.
15. D. Sannella, S. Sokolowski, A. Tarlecki. Towards formal development of programs from algebraic specification: parameterization revised. Acta In-formatica, volume 29, pages 689-736, 1992.
16. D. Sannella, A. Tarlecki. Specifications in an Arbitrary Institution. Information and Computation, volume 76, pages 165-210, 1988. 20, 20, 29
17. D. Sannella, A. Tarlecki. Essential concepts of algebraic specification and program development. Formal Aspects of Computing, vol. 9, pages 229-269, 1997. 26, 26
18. 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.
19. 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. 16, 16, 16, 18, 18, 19, 24, 26, 27
20. M. Wirsing. Structured Specifications: Syntax, Semantics and Proof Calculus. In F. L. Bauer, W. Brauer, and H. Schwichtenberg, editors, Logic and Algebra of Specification,volume94 of NATO ASI Series F: Computer and Systems Sciences, pages 411-442. Springer Verlag, 1991. 16