A free construction of dynamic terms

Journal of Computer and System Sciences

Volumn 52, Issue 1, 1996, Pages 143-156

  Astesiano, Egidio ^a   Zucca, Elena ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATIONAL LINGUISTICS; FORMAL LANGUAGES; MATHEMATICAL TRANSFORMATIONS; RECURSIVE FUNCTIONS;

DYNAMIC STRUCTURES; KERNEL LANGUAGE; MCCARTHY SCHEMA; RECURSIVE DEFINITIONS; UNIQUE CANONICAL REPRESENTATION;

DATA STRUCTURES;

EID: 0030081592     PISSN: 00220000     EISSN: None     Source Type: Journal    
DOI: 10.1006/jcss.1996.0011     Document Type: Article

References (24)

1. P. Aczel, An introduction to inductive definitions, in "Handbook of Mathematical Logic" (J. Barwise, Ed.), North-Holland, Amsterdam 1977.
2. E. Astesiano, Inductive and operational semantics, in "Formal Description of Programming Concepts" (E. J. Neuhold and M. Paul, Eds.), Springer-Verlag, Berlin 1990.
3. E. Astesiano and M. Cerioli, Non-strict don't care algebras and specifications, in "Proceedings, TAPSOFT '91," Lect. Notes in Comput. Sci., Vol. 493, pp. 121-142, Springer-Verlag, Berlin, 1992.
4. E. Astesiano and E. Zucca, D-oids: A model for dynamic data-types, Math. Structures Comput. Sci. 5, No. 2 (1995), 257-282.
5. E. Astesiano and E. Zucca, A semantic model for dynamic systems, in "Modelling Database Dynamics, Volkse 1992," Workshops in Computing, (U. W. Lipeck and B. Thalheim, Eds.), pp. 63-83, Springer-Verlag, Berlin, 1993.
6. R. Breu, "Algebraic Specification Techniques in Object Oriented Programming Environment," Ph.D. thesis, Universität Passau, TU München, Berlin, 1991.
7. M. Broy and M. Wirsing, Partial abstract types, Acta Inform. 18 (1982).
8. N. G. De Brujin, Lambda calculus with nameless dummies, Indag. Math. 34, No. 5 (1962), 381-392.
9. P. Cousot and R. Cousot, Inductive definitions, semantics and abstract interpretation, in "Proceedings, POPL '92," pp. 83-94.
10. P. Dauchy, "Développement et Exploitation d'une Spécification Algébrique du Logiciel Embarqué d'un Métro," Ph.D. thesis, Université de Paris-Sud, Centre d'Orsay, Paris, 1992.
11. P. Dauchy and M. C. Gaudel, Implicit state in algebraic specifications, in "Proceedings, ISCORE '93 (International Workshop on Information Systems - Correctness and Reusability)," Informatik-Berichte, Hannover 01, Institut für Informatik, 1993.
12. H. Ehrig and F. Orejas, Dynamic abstract data types: An informal proposal, Bull. EATCS 53 (June 1994).
13. H. Ganzinger, Denotational semantics for languages with modules, in "IFIP - Formai Description of Programming Concepts II" (D. Björner, Ed.), Amsterdam, North-Holland, 1983.
14. M. C. Gaudel, Correctness proof of programming language translations, in "IFIP - Formal Description of Programming Concepts II" (D. Björner, Ed.), Amsterdam, North-Holland, 1983.
15. J. A. Goguen and J. Meseguer, Unifying functional, object-oriented and relational programming with logical semantics, in "Research Direction in Object-Oriented Programming" (B. Shriver and P. Wegner, Eds.), pp. 417-477, MIT Press, Cambridge, MA, 1987.
16. M. Grosse-Rhode, "Specification of Transition Categories - An Approach to Dynamic Abstract Data Types," Ph.D. thesis, TU Berlin, Fachbereich Informatik, 1995.
17. Y. Gurevich, Evolving algebras, a tutorial introduction, Bull. EATCS 43 (1991), 264-284.
18. T. S. E. Maibaum and C. J. Lucena, Higher order data types, Internat. J. Comput. Inform. Sci. 1 (1980), 31-53.
19. J. McCarthy, A basis for a mathematical theory of computation, in "Computer Programming and Formal Systems" (P. Braffort and D. Hirschberg, Eds.), pp. 33-70, North-Holland, Amsterdam, 1963.
20. E. Moggi, Notions of computation and monads, Inform. Comput. 93, No. 1, (1191), 55-92.
21. M. Wirsing and J. A. Bergstra (Eds.) "Algebraic Methods: Theory, Tools and Applications," Lect. Notes in Comput. Sci., Vol. 394, Springer-Verlag, Berlin, 1987.
22. F. Parisi-Presicce and A. Pierantonio, Dynamical behaviour of object systems, in "Proceedings, 10th Workshop on Specification of Abstract Data Types," Lect. Notes in Comput. Sci., Vol. 906, pp. 406-419, Springer-Verlag, Berlin, 1995.
23. G. Plotkin, A structural approach to operational semantics, Lecture notes, Aarhus University, 1981.
24. E. Börger and D. Rosenzweig, WAM algebras - a mathematical study of implementation, in "Logic Programming" (A. Voronkov, Ed.), Lect. Notes in Artificial Intelligence, Vol. 592, pp. 35-54, Springer-Verlag, Berlin, 1992.