Pages that link to "Item:Q1249036"
From MaRDI portal
The following pages link to On the partial computation principle (Q1249036):
Displaying 16 items.
- Self-generating program specializers (Q407546) (← links)
- Transformational approach to program concretization (Q808279) (← links)
- Analysis of program optimization possibilities and further development (Q808282) (← links)
- Mixed computation and compilation: New approaches to old problems (Q912601) (← links)
- How to control unfolding when specializing interpreters (Q918195) (← links)
- An investigation of Jones optimality and BTI-universal specializers (Q1029807) (← links)
- Annotated bibliography on partial evaluation and mixed computation (Q1104069) (← links)
- Partial evaluation of metaprograms in a ``multiple worlds'' logic language (Q1108779) (← links)
- Partial evaluation with inference rules (Q1108781) (← links)
- Specialisation of Prolog and FCP programs using abstract interpretation (Q1108783) (← links)
- Mixed computation: potential applications and problems for study (Q1169808) (← links)
- An algebra of mixed computation (Q1179696) (← links)
- How to invent a Prolog machine (Q1819928) (← links)
- Maximally-Polyvariant Partial Evaluation in Polynomial Time (Q3179173) (← links)
- (Q4339951) (← links)
- Exploring the Jungle of Intuitionistic Temporal Logics (Q6063858) (← links)