Program Analysis and Compilation, Theory and Practice - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540713159, 9783540713227

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

ViDoC - Visual Design of Optimizing Compilers

Program Analysis and Compilation, Theory and Practice - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71322-7_7 ◽

2007 ◽

pp. 145-159

Author(s):

Tiziana Margaria ◽

Oliver Rüthing ◽

Bernhard Steffen

Keyword(s):

Visual Design ◽

Optimizing Compilers

Download Full-text

Lazy Execution of Boolean Queries

Program Analysis and Compilation, Theory and Practice - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71322-7_4 ◽

2007 ◽

pp. 82-96

Author(s):

Dieter Maurer

Keyword(s):

Boolean Queries

Download Full-text

Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification

Program Analysis and Compilation, Theory and Practice - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71322-7_3 ◽

2007 ◽

pp. 53-81 ◽

Cited By ~ 14

Author(s):

Steffen Knapp ◽

Wolfgang Paul

Keyword(s):

Execution Time ◽

Time Analysis ◽

Worst Case ◽

Worst Case Execution Time ◽

Pervasive System ◽

System Verification

Download Full-text

Refinement-Based Verification for Possibly-Cyclic Lists

Program Analysis and Compilation, Theory and Practice - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71322-7_12 ◽

2007 ◽

pp. 247-272 ◽

Cited By ~ 3

Author(s):

Alexey Loginov ◽

Thomas Reps ◽

Mooly Sagiv

Download Full-text

Grammar Analysis and Parsing by Abstract Interpretation

Program Analysis and Compilation, Theory and Practice - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71322-7_9 ◽

2007 ◽

pp. 175-200 ◽

Cited By ~ 3

Author(s):

Patrick Cousot ◽

Radhia Cousot

Keyword(s):

Abstract Interpretation ◽

Grammar Analysis

Download Full-text

Infering Ownership Types for Encapsulated Object-Oriented Program Components

Program Analysis and Compilation, Theory and Practice - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71322-7_6 ◽

2007 ◽

pp. 120-144 ◽

Cited By ~ 5

Author(s):

Arnd Poetzsch-Heffter ◽

Kathrin Geilmann ◽

Jan Schäfer

Keyword(s):

Object Oriented ◽

Program Components ◽

Ownership Types

Download Full-text

New Developments in WCET Analysis

Program Analysis and Compilation, Theory and Practice - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71322-7_2 ◽

2007 ◽

pp. 12-52 ◽

Cited By ~ 9

Author(s):

Christian Ferdinand ◽

Florian Martin ◽

Christoph Cullmann ◽

Marc Schlickling ◽

Ingmar Stein ◽

...

Keyword(s):

Wcet Analysis ◽

New Developments

Download Full-text

Types from Control Flow Analysis

Program Analysis and Compilation, Theory and Practice - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71322-7_14 ◽

2007 ◽

pp. 293-310 ◽

Cited By ~ 1

Author(s):

Flemming Nielson ◽

Hanne Riis Nielson

Keyword(s):

Flow Analysis ◽

Control Flow ◽

Control Flow Analysis

Download Full-text

On the Expressive Power of Live Sequence Charts

Program Analysis and Compilation, Theory and Practice - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71322-7_11 ◽

2007 ◽

pp. 225-246 ◽

Cited By ~ 8

Author(s):

Werner Damm ◽

Tobe Toben ◽

Bernd Westphal

Keyword(s):

Expressive Power ◽

Live Sequence Charts

Download Full-text

An Appreciation of the Work of Reinhard Wilhelm

Program Analysis and Compilation, Theory and Practice - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71322-7_1 ◽

2007 ◽

pp. 1-11

Author(s):

Thomas Reps ◽

Mooly Sagiv ◽

Jörg Bauer

Download Full-text

Program Analysis and Compilation, Theory and Practice - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

ViDoC - Visual Design of Optimizing Compilers

Lazy Execution of Boolean Queries

Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification

Refinement-Based Verification for Possibly-Cyclic Lists

Grammar Analysis and Parsing by Abstract Interpretation

Infering Ownership Types for Encapsulated Object-Oriented Program Components

New Developments in WCET Analysis

Types from Control Flow Analysis

On the Expressive Power of Live Sequence Charts

An Appreciation of the Work of Reinhard Wilhelm

Program Analysis and Compilation, Theory and Practice - Lecture Notes in Computer Science
Latest Publications