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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2016

This paper introduces XMGi¾ź2, a modular and extensible tool for various linguistic description tasks. Based on the notion of…

2014

Supercompilation is a method of transforming programs to obtain equivalent programs that perform fewer computation steps and…

2013

It has been known for a while [35, 36, 12] that program transformation techniques, in particular, program specialization, can be…

2012

In this paper, we describe a hierarchy of program transformers in which the transformer at each level of the hierarchy builds on…

2011

Supercompilation is a powerful technique for program optimisation and theorem proving. In this paper we describe and evaluate…

2010

Towards effective two-level supercompilation Moscow 2010 Ilya Klyuchnikov. Towards effective two-level supercompilation The paper…

2008

Haskell is a functional language, with features such as higher order functions and lazy evaluation, which allow succinct programs…

2003

We have developed Tm, a template-based metacompiler. Given a set of data-structure definitions and a template, Tm generates files…

1999

We extend positive supercompilation to handle negative as well as positive information. This is done by instrumenting the…

1997

This paper describes the modeling of a fully potent attacker against cryptoprotocols, including its inference system, in the…