On the partial computation principle
From MaRDI portal
Publication:1249036
DOI10.1016/0020-0190(77)90078-3zbMath0384.68006OpenAlexW2093264024MaRDI QIDQ1249036
Publication date: 1977
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(77)90078-3
Related Items (16)
Maximally-Polyvariant Partial Evaluation in Polynomial Time ⋮ Annotated bibliography on partial evaluation and mixed computation ⋮ Partial evaluation of metaprograms in a ``multiple worlds logic language ⋮ Partial evaluation with inference rules ⋮ Specialisation of Prolog and FCP programs using abstract interpretation ⋮ Exploring the Jungle of Intuitionistic Temporal Logics ⋮ Self-generating program specializers ⋮ Mixed computation and compilation: New approaches to old problems ⋮ How to control unfolding when specializing interpreters ⋮ Mixed computation: potential applications and problems for study ⋮ An algebra of mixed computation ⋮ How to invent a Prolog machine ⋮ An investigation of Jones optimality and BTI-universal specializers ⋮ Unnamed Item ⋮ Transformational approach to program concretization ⋮ Analysis of program optimization possibilities and further development
This page was built for publication: On the partial computation principle
