On the partial computation principle

DOI10.1016/0020-0190(77)90078-3MaRDI QIDQ1249036zbMATH OpenOpenAlexFDO

Authors Andrei P. Ershov

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited in

(16)

• Self-generating program specializers
• Exploring the Jungle of Intuitionistic Temporal Logics
• Partial evaluation with inference rules
• Specialisation of Prolog and FCP programs using abstract interpretation
• An investigation of Jones optimality and BTI-universal specializers
• Annotated bibliography on partial evaluation and mixed computation
• How to invent a Prolog machine
• Maximally-polyvariant partial evaluation in polynomial time
• An algebra of mixed computation
• Mixed computation and compilation: New approaches to old problems
• How to control unfolding when specializing interpreters
• scientific article; zbMATH DE number 1022228 (Why is no real title available?)
• Partial evaluation of metaprograms in a ``multiple worlds logic language
• Analysis of program optimization possibilities and further development
• Transformational approach to program concretization
• Mixed computation: potential applications and problems for study

This page was built for publication: On the partial computation principle

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1249036)