Survey on classes of interpretations and some of their applications

Authors:
Irène Guessarian
Affiliations:
Université Paris 7, UER de Mathématiques, Paris
Venue:
ACM SIGACT News
Year:
1983

Citing 7
Cited 0

Conditional Expressions with Equality Tests

Journal of the ACM (JACM)
A Calculus of Communicating Systems

A Calculus of Communicating Systems
Algebraic Semantics

Algebraic Semantics
A Birkhoff-Like Theorem for Algebraic Classes of Interpretations of Program Schemes

Proceedings of the International Colloquium on Formalization of Programming Concepts
A new Recursion Induction Principle

Proceedings of the 4th GI-Conference on Theoretical Computer Science
Some Universal Algebraic and Model Theoretic Results in Computer Science

FCT '81 Proceedings of the 1981 International FCT-Conference on Fundamentals of Computation Theory
A category-theoretic approach to the semantics of programming languages

A category-theoretic approach to the semantics of programming languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce classes of interpretations. We characterize the free and Herbrand interpretations for a class. We define the algebraic, equational, relational and first-order classes of interpretations, study their properties and relate them to the literature. We apply this study to derive complete proof systems for deducing (in some (in) equational logic) all (in) equalitions valid in a class.