Algebraic specifications, higher-order types, and set-theoretic models

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

Volumn 1548, Issue , 1998, Pages 373-388

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

^a LORIA   (France)

^b SRI INTERNATIONAL   (United States)

^c AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING; SOFTWARE ENGINEERING; SPECIFICATIONS;

ALGEBRAIC SPECIFICATIONS; AUTOMATED REASONING; FIRST ORDER; FUNCTION SPACES; HIGHER ORDER TYPES; HORN CLAUSE; SET-THEORETIC MODELS; TYPE SYSTEMS;

ALGEBRA;

EID: 84958985236     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49253-4_27     Document Type: Conference Paper

References (6)

1. J. A. Goguen and J Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science, 105:217-273, 1992.
2. C. Hintermeier, H. Kirchner, and P. D. Mosses. Combining algebraic and set the-oretic Specifications. In M. Haveraaen, O. Owe, and O.-J. Dahl, editors, Recent Trends in Data Type Specification, Proc. 11th Workshop on Specification of Ab-stract Data Types joint with the 9th general COMPASS workshop. Oslo, Norway, September 1995. Selected papers, volume 1130 of Lecture Notes in Computer Sci-ence, pages 255-273. Springer-Verlag, 1996.
3. K. Meinke. Universal algebra in higher types. Theoretical Computer Science, 100:385-417, 1992.
4. K. Meinke. Higher-order equational logic for Specification, simulation and testing. In HOA'95, Proc. Second Int. Workshop on Higher-Order Algebra, Logic and Term Rewriting, volume 1074 of Lecture Notes in Computer Science, pages 124-143. Springer-Verlag, 1996.
5. J. Meseguer. Membership algebra as a semantic framework for equational speci-fication. In Recent Trends in Algebraic Development Techniques, volume 1376 of Lecture Notes in Computer Science, pages 18-61. Springer-Verlag, 1998.
6. P. D. Mosses. Unified algebras and institutions. In Proceedings 4th IEEE Sympo-sium on Logic in Computer Science, Pacific Grove, pages 304-312, 1989.