Metacompilation

Known as: Meta-Compilation, Supercompilation 
Metacompilation is a computation which involves metasystem transitions (MST) from a computing machine M to a metamachine M' which controls, analyzes… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
The paper explains the principles of multi-result supercompilation. We introduce a formalism for representing supercompilation… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
2009
2009
class Term case class Var(name: String) extends Term case class CFG(kind: TKind.Value, name: String, args: List[Term]) extends… (More)
  • figure 1
  • figure 8
Is this relevant?
2008
2008
Declarative languages have recently been proposed for many new applications outside of traditional data management. Since these… (More)
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 5
Is this relevant?
2007
2007
Haskell is a functional language, with features such as higher order functions and lazy evaluation, which allow succinct programs… (More)
  • figure 2
  • figure 6
  • figure 7
  • figure 8
  • table 1
Is this relevant?
1999
1999
We extend positive supercompilation to handle negative as well as positive information. This is done by instrumenting the… (More)
  • figure 3.1
  • figure 3.2
  • figure 3.3
  • figure 4.1
  • figure 4.2
Is this relevant?
Highly Cited
1996
Highly Cited
1996
This paper concerns the use of program slicing to perform a certain kind of program-specialization operation. We show that the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Recently, considerable advances have been made in the (online) control of logic program specialisation. A clear conceptual… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1994
1994
Our aim is to study how the interpretive approach — inserting an interpreter between a source program and a program specializer… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1987
Highly Cited
1987
531 • The central proЬlem of supercompilation is to fi.nd а finite set of configurations (gener~lized states) of the computing… (More)
Is this relevant?