Partial evaluation with inference rules

DOI10.1007/BF03037137zbMath0654.68023OpenAlexW2007516628MaRDI QIDQ1108781

Laurent Hascoët

Publication date: 1988

Published in: New Generation Computing (Search for Journal in Brave)

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

zbMATH Keywords

unificationdynamic semanticspartial evaluationlogic programmingProloginference rulestactic

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• A self-applicable partial evaluator and its use in incremental compilation
• Specialisation of Prolog and FCP programs using abstract interpretation
• On the partial computation principle
• A practical framework for theabstract interpretation of logic programs
• Unnamed Item
• Unnamed Item

This page was built for publication: Partial evaluation with inference rules