A program transformation from equational programs into logic programs

DOI10.1016/0743-1066(87)90013-6zbMath0616.68017OpenAlexW2001552098MaRDI QIDQ4725722

Atsushi Togashi, Shoichi Noguchi

Publication date: 1987

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

Full work available at URL: https://doi.org/10.1016/0743-1066(87)90013-6

zbMATH Keywords

PROLOGdata abstractionlogic programming languagesequational programming languagesalgebraic specifications of abstract data types and recursive program schemescomputation strategiesdescriptive languagesHorn programrecursive equational program

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (1)

Design strategies for rewrite rules

This page was built for publication: A program transformation from equational programs into logic programs