Structured theories and institutions

Electronic Notes in Theoretical Computer Science

Volumn 29, Issue , 1999, Pages 23-41

  Durán, Fancisco ^a   Meseguer, José ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER SIMULATION; CONSTRAINT THEORY; FORMAL LANGUAGES; FORMAL LOGIC; MATHEMATICAL MODELS; OPTIMIZATION;

LOGIC FORMALIZATION; LOGICAL FRAMEWORKS; SCAFFOLDING; STRUCTURAL THEORIES;

COMPUTER SCIENCE;

EID: 18944367579     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80304-4     Document Type: Conference Paper

References (33)

1. Barr M., Wells C. Toposes, Triples and Theories. 1985;Springer-Verlag
2. H. Baumeister. Unifying initial and loose semantics of parameterized specifications in an arbitrary institution. In S. Abramsky and T. Maibaum, editors, Proc. Int. Conf. on Theory and Practice of Software Development, TAPSOFT'91, Brighton, UK, April 1991, volume 493 of Lecture Notes in Computer Science, pages 103-120. Springer-Verlag, 1991.
3. Bidoit M., Kreowski H.-J., Lescanne P., Orejas F., Sannella D. Algebraic System Specification and Development. A Survey and Annotated Bibliography, volume 501 of Lecture Notes in Computer Science. 1991;Springer-Verlag
4. R. Burstall and J. Goguen. The semantics of Clear, a specification language. In D. Bjrner, editor, Proceedings of the 1979 Copenhagen Winter School on Abstract Software Specification, volume 86 of Lecture Notes in Computer Science, pages 292-332. Springer-Verlag, 1980.
5. Clavel M. Reflection in General Logics and in Rewriting Logic with Applications to the Maude Language. PhD thesis, University of Navarre. 1998
6. M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Martf-Oliet, J. Meseguer, and J. Quesada. Maude: Specification and programming in rewriting logic. SRI International, January 1999. Available at http://maude.csl.sri.com.
7. M. Clavel and J. Meseguer. Reflection and strategies in rewriting logic. In Meseguer [24]. Available at http://www.elsevier.nl/locate/entcs/volume4.html.
8. CoFI Task Group on Language Design. CASL-The common algebraic specification language, version 1.0. Available at http://www.brics.dk/Projects/ CoFI, October 1998.
9. Diaconescu R., Futatsugi K. Café OBJ Report. AMAST Series. World Scientific. 1998
10. R. Diaconescu, J. Goguen, and P. Stefaneas. Logical support for modularisation. In G. Huet, G. Plotkin, and C. Jones, editors, Proceedings of Workshop on Logical Frameworks (Edinburgh, United Kingdom, May 1991), pages 83-130. Cambridge University Press, 1991.
11. Dimitrakos T. Parameterising (algebraic) specifications on diagrams. Automated Software Engineering-ASE '98, 13th IEEE International Conference. 1998
12. F. Durán. A Reflective Module Algebra with Applications to the Maude Language. PhD thesis, University of Málaga, 1999. Available at http://www.csl.sri.com/~duran/thesis.
13. F. Durán and J. Meseguer. An extensible module algebra for Maude, volume 15 of Electronic Notes in Theoretical Computer Science. Elsevier, 1998. Available at http://www.elsevier.nl/locate/entcs/volumel5.html.
14. Ehrig H., Mahr B. Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. 1985;Springer-Verlag
15. Ehrig H., Mahr B. Fundamentals of Algebraic Specification 2. Module Specifications and Constraints. 1990;Springer-Verlag
16. Gogolla M., Cerioli M. What is an Abstract Data Type after all? (A bibliography on the workshops on abstract data types). Astesiano E., Reggio G., Tarlecki A. Recent Trends in Data Type Specification, volume 906 of Lecture Notes in Computer Science. 1995;499-523 Springer Verlag
17. J. Goguen and R. Burstall. Introducing institutions. In E. Clarke and D. Kozen, editors, Proc. Logics of Programming Workshop, volume 164 of Lecture Notes in Computer Science, pages 221-256. Springer-Verlag, 1984.
18. Goguen J., Burstall R. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing. Machinery. 39:(1):1992;95-146
19. Goguen J., Winkler T., Meseguer J., Futatsugi K., Jouannaud J.-P. Introducing OBJ. Technical Report SRI-CSL-92-03, Computer Science Laboratory, SRI International. Goguen Joseph, Malcolm Grant. Applications of Algebraic Specification Using OBJ. March 1992;Academic Press. To appear in
20. Lane S.M. Categories for the Working Mathematician. Springer-Verlag. 1971
21. N. Martf-Oliet and J. Meseguer. Rewriting logic as a logical and semantic framework. In Meseguer [24]. Available at http://www.elsevier.nl/locate/entcs/ volume4.html.
22. Meseguer J. General logics. Ebbinghaus H.-D., et al. Logic Colloquium'87. 1989;275-329 North-Holland
23. Meseguer J. Membership algebra. Lecture at the Dagstuhl Seminar on "Specification and Semantics" July 1996
24. Available at http://www.elsevier.nl/locate/entcs/volume4.html.
25. Meseguer J. Membership algebra as a semantic framework for equational specification. Parisi-Presicce F. Recent Trends in Algebraic Development Techniques. WADT'97, volume 1376 of Lecture Notes in Computer Science. 1998;18-61 Springer-Verlag
26. Meseguer J., Martí-Oliet N. From abstract data types to logical frameworks. Astesiano E., Reggio G., Tarlecki A. Recent Trends in Data Type Specification, volume 906 of Lecture Notes in Computer Science. 1995;499-523 Springer Verlag
27. Orejas F., Pino E., Ehrig H. Institutions for logic programming. Theoretical Computer Science. 173:1997;485-511
28. H. Reichel. Initially - restricting algebraic theories. In P. Dembíski, editor, Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, volume 88 of Lecture Notes in Computer Science, pages 504-514. Springer-Verlag, 1980.
29. Sannella D., Tarlecki A. Specifications in an arbitrary institution. Information and Computation. 76:(2/3):1988;165-210
30. D. Sannella and M. Wirsing. A kernel language for algebraic specification and implementation. In M. Karpinski, editor, Proceedings of the 1983 International Conference on Foundations of Computation Theory. Borgholm, Sweden, August 21-27, 1983, volume 158 of Lecture Notes in Computer Science, pages 415-427. Springer-Verlag, 1983.
31. Schubert H. Categories. 1972;Springer-Verlag
32. Y. Srinivas and R. Jüllig. SPECWARE: Formal support for composing software. In B. Moeller, editor, Proceedings of the Conference on Mathematics of Program Construction, volume 947 of Lecture Notes in Computer Science, pages 399-422. Springer-Verlag, 1995.
33. Tarlecki A. Towards heterogeneous specifications. Proc. Workshop on Frontiers of Combining Systems FroCoS'98, Applied Logic Series. 1998;Kluwer Academic Publishers