Lecture Notes in Computer Science - The Essence of Computation
Latest Publications

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540003267, 9783540363774

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

WSDFU: Program Transformation System Based on Generalized Partial Computation

Lecture Notes in Computer Science - The Essence of Computation ◽

10.1007/3-540-36377-7_16 ◽

2007 ◽

pp. 358-378 ◽

Author(s):

Yoshihiko Futamura ◽

Zenjiro Konishi ◽

Robert Glück2

Keyword(s):

Program Transformation ◽

Transformation System

Download Full-text

Meta-circular Abstract Interpretation in Prolog

Lecture Notes in Computer Science - The Essence of Computation ◽

10.1007/3-540-36377-7_6 ◽

2002 ◽

pp. 109-134 ◽

Author(s):

Michael Codish ◽

Harald Søndergaard

Keyword(s):

Abstract Interpretation

Download Full-text

Simple Driving Techniques

Lecture Notes in Computer Science - The Essence of Computation ◽

10.1007/3-540-36377-7_18 ◽

2002 ◽

pp. 404-419 ◽

Author(s):

Mads Rosendahl

Download Full-text

The Abstraction and Instantiation of String-Matching Programs

Lecture Notes in Computer Science - The Essence of Computation ◽

10.1007/3-540-36377-7_15 ◽

2002 ◽

pp. 332-357 ◽

Author(s):

Torben Amtoft ◽

Charles Consel ◽

Olivier Danvy ◽

Karoline Malmkjær

Keyword(s):

String Matching

Download Full-text

Structure-Preserving Binary Relations for Program Abstraction

Lecture Notes in Computer Science - The Essence of Computation ◽

10.1007/3-540-36377-7_12 ◽

2002 ◽

pp. 245-265 ◽

Author(s):

David A. Schmidt

Keyword(s):

Binary Relations ◽

Structure Preserving

Download Full-text

Homeomorphic Embedding for Online Termination of Symbolic Methods

Lecture Notes in Computer Science - The Essence of Computation ◽

10.1007/3-540-36377-7_17 ◽

2002 ◽

pp. 379-403 ◽

Author(s):

Michael Leuschel

Keyword(s):

Symbolic Methods

Download Full-text

Demonstrating Lambda Calculus Reduction

Lecture Notes in Computer Science - The Essence of Computation ◽

10.1007/3-540-36377-7_19 ◽

2002 ◽

pp. 420-435 ◽

Author(s):

Peter Sestoft

Keyword(s):

Lambda Calculus

Download Full-text

A Symmetric Approach to Compilation and Decompilation

Lecture Notes in Computer Science - The Essence of Computation ◽

10.1007/3-540-36377-7_14 ◽

2002 ◽

pp. 296-331 ◽

Author(s):

Mads Sig Ager ◽

Olivier Danvy ◽

Mayer Goldberg

Download Full-text

Lambda Calculi and Linear Speedups

Lecture Notes in Computer Science - The Essence of Computation ◽

10.1007/3-540-36377-7_4 ◽

2002 ◽

pp. 60-82 ◽

Author(s):

David Sands ◽

Jörgen Gustavsson ◽

Andrew Moran

Download Full-text

Flow Logic: A Multi-paradigmatic Approach to Static Analysis

Lecture Notes in Computer Science - The Essence of Computation ◽

10.1007/3-540-36377-7_11 ◽

2002 ◽

pp. 223-244 ◽

Author(s):

Hanne Riis Nielson ◽

Flemming Nielson

Keyword(s):

Static Analysis

Download Full-text