Software plays a central role in all aspects of reversible computing systems, and a variety of
reversible programming languages have been developed. This presentation highlights the …

The theory of metasystem transitions is reviewed in the form of a dialogue; a discussion of
underlying epistemology is also included. Metasystem transition is the formation of a new …

This paper gives a gentle introduction to Turchin's super-compilation and its applications in
metacomputation with an emphasis on recent developments. First, a complete …

Metacomputation is a computation which involves meta-system transitions (MST for short)
from a computing machine M to a metamachine M′ which controls, analyzes, and imitates …

We introduce a transformation of well-moded logic programs into constructor systems, a
subclass of term rewrite systems, such that left-termination of the logic program follows from …

We are living in a world where complexity of systems created and studied by people grows
beyond all imaginable limits. Computers, their software and their networks are among the …

The three classic Futamura projections stand as a cornerstone in the development of partial
evaluation. The observation by Futamura [1983], that compiler generators produced by his …

Self-applicable partial evaluators have been used for more than a decade for generating
compilers and other program generators, but it seems hard to reason about the mechanics …

A regeneration scheme is presented which shows how to change the computation staging of
a generating extension by a two-level metasystem structure using program specialization …

One of the main discoveries in the seventies was that the concept of a generating extension
covers a very wide class of apparently different program generators. Program specialization …