Partial evaluation with inference rules
- 1 September 1988
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 6 (2-3) , 187-209
- https://doi.org/10.1007/bf03037137
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Natural semanticsPublished by Springer Nature ,2005
- A partial evaluation system for Prolog: some practical considerationsNew Generation Computing, 1988
- Executable specification of static semanticsPublished by Springer Nature ,1984
- On the partial computation principleInformation Processing Letters, 1977