Specialisation of Prolog and FCP programs using abstract interpretation

Publisher Website

1 September 1988

journal article
Published by Springer Nature in New Generation Computing

Vol. 6 (2-3) , 159-186
https://doi.org/10.1007/bf03037136

Abstract

No abstract available

Keywords

This publication has 9 references indexed in Scilit:

Fully abstract denotational semantics for flat Concurrent Prolog
Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988
Concurrent Prolog: A Progress Report
Computer, 1986
Abstract interpretation of Prolog programs
Lecture Notes in Computer Science, 1986
OLD resolution with tabulation
Published by Springer Nature ,1986
An experiment in partial evaluation
ACM SIGPLAN Notices, 1985
Properties of substitutions and unifications
Journal of Symbolic Computation, 1985
On the Development of Reactive Systems
Published by Springer Nature ,1985
Scenarios: A model of non-determinate computation
Published by Springer Nature ,1981
On the partial computation principle
Information Processing Letters, 1977