Programming with equalities, subsorts, overloading, and parametrization in OBJ

DOI10.1016/0743-1066(92)90027-ZzbMath0754.68021MaRDI QIDQ3992232

Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis

Publication date: 13 August 1992

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

rewritingorder-sorted equational logicequational deductionOBJ programming languageorder-sorted equational specifications

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

Related Items (4)

Abstract data type systems ⋮ Dynamically-typed computations for order-sorted equational presentations ⋮ Specification and proof in membership equational logic ⋮ Narrowing based procedures for equational disunification

This page was built for publication: Programming with equalities, subsorts, overloading, and parametrization in OBJ