This paper presents the fundamentals of reversible flowcharts. Reversible flowcharts are
intended to naturally represent the structure and control flow of reversible (imperative) …

Reversible computing is the study of computation models that exhibit both forward and
backward determinism. Understanding the fundamental properties of such models is not …

Energy transparency is a concept that makes a program's energy consumption visible, from
hardware up to software, through the different system layers. Such transparency can enable …

We describe the translation techniques used for the code generation in a compiler from the
high-level reversible imperative programming language Janus to the low-level reversible …

We provide a treatment of the reversible Turing machines (RTMs) under a strict function
semantics. Unlike many existing reversible computation models, we distinguish strictly …

A Modular Calculus for the Average Cost of Data Structuring introduces MOQA, a new
domain-specific programming language which guarantees the average-case time analysis …

Tainted flow attacks originate from program inputs maliciously crafted to exploit software
vulnerabilities. These attacks are common in server-side scripting languages, such as PHP …

We analyse the running time of Treapsort, a sorting algorithm in the MOQA1 programming
language, which acts on treaps. We show that, using the 'partial permutation'model of …

There is growing interest in lowering the energy consumption of computation. Energy
transparency is a concept that makes a program's energy consumption visible from software …

The Techno Neuro Pedagogy System (TNPS) is a systemic process with interrelated
activities that allows you to create environments that facilitate the mediation processes on …