An object-oriented deductive language

DOI10.1007/BF01530926zbMath0878.68032MaRDI QIDQ1360678

Yves Caseau

Publication date: 27 August 1997

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

LAURE object-oriented language

Mathematics Subject Classification ID

Database theory (68P15) Theory of programming languages (68N15)

Related Items

Constraint satisfaction with an object-oriented knowledge representation language

Cites Work

• A lattice-theoretical fixpoint theorem and its applications
• Object identity as a query language primitive
• Set constructors in a logic database language
• Can programming be liberated from the von Neumann style?
• A relational model of data for large shared data banks
• Unnamed Item