Partial evaluation with inference rules
From MaRDI portal
Publication:1108781
DOI10.1007/BF03037137zbMath0654.68023MaRDI QIDQ1108781
Publication date: 1988
Published in: New Generation Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf03037137
unification; dynamic semantics; partial evaluation; logic programming; Prolog; inference rules; tactic
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
Cites Work