The Essence of Computation

Computational Complexity.- General Size-Change Termination and Lexicographic Descent.- Comparing Star and Pancake Networks.- Synchronization of Finite Automata: Contributions to an Old Problem.- Lambda Calculi and Linear Speedups.- Program Analysis.- Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software.- Meta-circular Abstract Interpretation in Prolog.- Flow Analysis: Games and Nets.- On Extracting Static Semantics.- Foundations of the Bandera Abstraction Tools.- Types in Program Analysis.- Flow Logic: A Multi-paradigmatic Approach to Static Analysis.- Structure-Preserving Binary Relations for Program Abstraction.- Program Transformation.- Principles of Inverse Computation and the Universal Resolving Algorithm.- A Symmetric Approach to Compilation and Decompilation.- The Abstraction and Instantiation of String-Matching Programs.- WSDFU: Program Transformation System Based on Generalized Partial Computation.- Homeomorphic Embedding for Online Termination of Symbolic Methods.- Simple Driving Techniques.- Demonstrating Lambda Calculus Reduction.- From Type Inference to Configuration.