The list introduction strategy for the derivation of logic programs

DOI10.1007/s001650200011zbMath1001.68020OpenAlexW1964205605MaRDI QIDQ699926

Maurizio Proietti, Alberto Pettorossi

Publication date: 25 September 2002

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001650200011

zbMATH Keywords

program transformationlogic programmingprogram derivationautomatic programmingtransformation rules and strategies

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Unnamed Item ⋮ Abstract conjunctive partial deduction for the analysis and compilation of coroutines

This page was built for publication: The list introduction strategy for the derivation of logic programs