Programs as Data Objects - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540420682, 9783540449782

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Implementing Circularity Using Partial Evaluation

Programs as Data Objects - Lecture Notes in Computer Science ◽

10.1007/3-540-44978-7_6 ◽

2001 ◽

pp. 84-102 ◽

Cited By ~ 1

Author(s):

Julia L. Lawall

Keyword(s):

Partial Evaluation

Download Full-text

Constraint Abstractions

Programs as Data Objects - Lecture Notes in Computer Science ◽

10.1007/3-540-44978-7_5 ◽

2001 ◽

pp. 63-83 ◽

Cited By ~ 7

Author(s):

Jörgen Gustavsson ◽

Josef Svenningsson

Download Full-text

Boolean Constraints for Binding-Time Analysis

Programs as Data Objects - Lecture Notes in Computer Science ◽

10.1007/3-540-44978-7_4 ◽

2001 ◽

pp. 39-62 ◽

Cited By ~ 6

Author(s):

Kevin Glynn ◽

Peter J. Stuckey ◽

Martin Sulzmann ◽

Harald Søndergaard

Keyword(s):

Time Analysis ◽

Binding Time ◽

Binding Time Analysis

Download Full-text

Program Analysis for Implicit Computational Complexity

Programs as Data Objects - Lecture Notes in Computer Science ◽

10.1007/3-540-44978-7_1 ◽

2001 ◽

pp. 1-1 ◽

Cited By ~ 1

Author(s):

Neil D. Jones

Keyword(s):

Computational Complexity ◽

Program Analysis ◽

Implicit Computational Complexity

Download Full-text

Bottom-Up Deduction with Deletion and Priorities

Programs as Data Objects - Lecture Notes in Computer Science ◽

10.1007/3-540-44978-7_16 ◽

2001 ◽

pp. 276-277

Author(s):

Harald Ganzinger

Keyword(s):

Bottom Up

Download Full-text

Partial Evaluation for Class-Based Object-Oriented Languages

Programs as Data Objects - Lecture Notes in Computer Science ◽

10.1007/3-540-44978-7_11 ◽

2001 ◽

pp. 173-197 ◽

Cited By ~ 10

Author(s):

Ulrik P. Schultz

Keyword(s):

Partial Evaluation ◽

Object Oriented ◽

Object Oriented Languages

Download Full-text

Combining Forward And Backward Analyses of Temporal Properties

Programs as Data Objects - Lecture Notes in Computer Science ◽

10.1007/3-540-44978-7_7 ◽

2001 ◽

pp. 103-116 ◽

Cited By ~ 8

Author(s):

Damien Massé

Keyword(s):

Temporal Properties

Download Full-text

Type Systems for Useless-Variable Elimination

Programs as Data Objects - Lecture Notes in Computer Science ◽

10.1007/3-540-44978-7_3 ◽

2001 ◽

pp. 25-38

Author(s):

Adam Fischbach ◽

John Hannan

Keyword(s):

Type Systems ◽

Variable Elimination

Download Full-text

Driving in the Jungle

Programs as Data Objects - Lecture Notes in Computer Science ◽

10.1007/3-540-44978-7_12 ◽

2001 ◽

pp. 198-217 ◽

Cited By ~ 3

Author(s):

Jens Peter Secher

Download Full-text

A New Numerical Abstract Domain Based on Difference-Bound Matrices

Programs as Data Objects - Lecture Notes in Computer Science ◽

10.1007/3-540-44978-7_10 ◽

2001 ◽

pp. 155-172 ◽

Cited By ~ 88

Author(s):

Antoine Miné

Download Full-text

Programs as Data Objects - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Implementing Circularity Using Partial Evaluation

Constraint Abstractions

Boolean Constraints for Binding-Time Analysis

Program Analysis for Implicit Computational Complexity

Bottom-Up Deduction with Deletion and Priorities

Partial Evaluation for Class-Based Object-Oriented Languages

Combining Forward And Backward Analyses of Temporal Properties

Type Systems for Useless-Variable Elimination

Driving in the Jungle

A New Numerical Abstract Domain Based on Difference-Bound Matrices

Programs as Data Objects - Lecture Notes in Computer Science
Latest Publications