Combining algebraic and set-theoretic specifications

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

Volumn 1130, Issue , 1996, Pages 255-273

  Hintermeier, Claus ^a   Kirchner, Hélène ^a   Mosses, Peter D ^b  

^a INRIA   (France)

^b AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER CIRCUITS; LOGIC PROGRAMMING; RECONFIGURABLE HARDWARE; SEMANTICS; SPECIFICATIONS;

ALGEBRAIC SPECIFICATIONS; CARTESIAN PRODUCTS; FIRST ORDER; HORN CLAUSE; PREDICATE LOGIC; PROOF THEORY; SPECIFICATION FRAMEWORKS; TYPE STRUCTURES;

ABSTRACT DATA TYPES;

EID: 84958670597     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61629-2_47     Document Type: Conference Paper

References (20)

1. J. R. Abrial. B-Tool Reference Manual. Edinburgh Portable Compiler, 1991.
2. L. Bachmair, H. Ganzinger, C. Lynch, and W. Snyder. Basic paramodulation and superposition. In D. Kapur, editor, Proceedings 11th International Conference on Automated Deduction, Saratoga Springs (N. Y., USA), volume 607 of Lecture Notes in Computer Science, pages 462-476. Springer-Verlag, 1992.
3. J. Dawes. The VDM-SL Reference Guide. Pitman, 1991.
4. N. Dershowitz. Termination of rewriting. Journal of Symbolic Computation, 3(1 & 2):69-116, 1987.
5. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1. Equations and initial semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1985
6. C. Hintermeier. Deduction avec sortes ordonnees et egalites. These de Doctorat d'Universite, Universite Henri Poincare - Nancy 1, Oct. 1995.
7. C. Hintermeier, H. Kirchner, and P. D. Mosses. Combining algebraic and set-theoretic specifications (extended version). Technical report, Centre de Recherche en Informatique de Nancy, 1996.
8. C. Hintermeier, H. Kirchner, and P. D. Mosses. Rn-and Gr'-logics. In Proceedings of Second International Workshop on Higher-Order Algebra, Logic and Term Rewriting, Paderborn (Germany), Sept. 1995.
9. T. S. E. Maibaum and C. J. Lucena. Higher order data types. International Journal of Computer and Information Sciences, 9:31-53, 1980.
10. V. Manca, A. Salibra, and G. Scollo. Equational type logic. Theoretical Computer Science, 77(1-2): 131-159, 1990.
11. K. Meinke. Universal algebra in higher types. Theoretical Computer Science, 100:385-417, 1992.
12. B. Moller. Algebraic specifications with high-order operators. In L. Meertens, editor, Proceedings IFIP TC2 Working Conf. on Program Specification and Transformation, pages 367-392. IFIP, Elsevier Science Publishers B. V. (North-Holland), 1987.
13. B. Moller, A. Tarlecki, and M. Wirsing. Algebraic specification with built-in domain constructions. In M. Dauchet and M. Nivat, editors, Proceedings of CAAP'88, Lecture Notes in Computer Science, pages 132-148. Springer-Verlag, 1988.
14. B. Moller, A. Tarlecki, and M. Wirsing. Algebraic specifications or reachable higher-order algebras. In D. Sannella and A. Tarlecki, editors, Recent Trends in Data Type Specification, volume 332 of Lecture Notes in t omputer Science, pages 154-169. Springer-Verlag, 1988.
15. P. D. Mosses. Unified algebras and institutions. In Proceedings 4-th IEEE Symposium on Logic in Computer Science, Pacific Grove, pages 304-312, 1989.
16. R. Nieuwenhuis and A. Rubio. Theorem proving with ordering constrained clauses. In D. Kapur, editor, Proceedings 11th International Conference on Automated Deduction, Saratoga Springs (N. Y., USA), volume 607 of Lecture Notes in Computer Science, pages 477-491. Springer-Verlag, 1992.
17. A. Poigne. Partial algebras, subsorting and dependent types, prerequisites of error handling in algebraic specifications. In Proceedings of Workshop on Abstract Data Types, volume 332 of Lecture Notes in Computer Science. Springer-Verlag, 1988.
18. J. M. Spivey. Understanding Z: a specification language and its formal semantics. Cambridge University Press, 1988.
19. A. N. Whitehead and B. Russell. Principia Mathematica, volume 1. Cambridge University Press, Cambridge, MA, 1925.
20. M. Wirsing. Algebraic specification. In J. van Leeuwen, A. Meyer, M. Nivat, M. Paterson, and D. Perrin, editors, Handbook of Theoretical Computer Science, volume B, chapter 13. Elsevier Science Publishers B. V. (North-Holland) and The MIT press, 1990.