Items related to The Essence of Computation: Complexity, Analysis, Transforma...
The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want
