Simultaneous Replacement in Normal Programs

DOI10.1093/logcom/6.1.79zbMath0844.68013OpenAlexW2256997342MaRDI QIDQ4870068

Sandro Etalle, Annalisa Bossi, Nicoletta Cocco

Publication date: 17 March 1996

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://research.utwente.nl/en/publications/simultaneous-replacement-in-normal-programs(bc853fe5-0314-4627-adf8-49e375ec4798).html

zbMATH Keywords

program transformationlogic programming

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17) General topics in the theory of software (68N01)

Related Items (3)

BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS ⋮ Totally correct logic program transformations via well-founded annotations ⋮ A semantics for modular general logic programs

This page was built for publication: Simultaneous Replacement in Normal Programs