Simultaneous Replacement in Normal Programs

DOI10.1093/LOGCOM/6.1.79MaRDI QIDQ4870068zbMATH OpenOpenAlexFDO

Authors Annalisa Bossi, Nicoletta Cocco, Sandro Etalle

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

logic programmingprogram transformation

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1615260
• Basic transformation operations which preserve computed answer substitutions of logic programs
• scientific article; zbMATH DE number 1534593
• scientific article; zbMATH DE number 1332631

Cited in

(4)

• A semantics for modular general logic programs
• Totally correct logic program transformations via well-founded annotations
• scientific article; zbMATH DE number 1615260 (Why is no real title available?)
• BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4870068)