Programming with equalities, subsorts, overloading, and parametrization in OBJ
From MaRDI portal
Publication:3992232
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)
rewritingorder-sorted equational logicequational deductionOBJ programming languageorder-sorted equational specifications
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