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, Hélène Kirchner, Claude Kirchner, Aristide Mégrelis
Publication date: 13 August 1992
Published in: The Journal of Logic Programming (Search for Journal in Brave)
rewriting; order-sorted equational logic; equational deduction; OBJ programming language; order-sorted equational specifications
Related Items
Narrowing based procedures for equational disunification, Abstract data type systems, Specification and proof in membership equational logic