Static Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540650140, 9783540497271

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-49727-7_11 ◽

1998 ◽

pp. 184-199 ◽

Cited By ~ 2

Author(s):

Paolo Volpe

Keyword(s):

Logic Programs ◽

First Order ◽

Order Language

Download Full-text

Bidirectional Data Flow Analysis in Code Motion: Myth and Reality

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-49727-7_1 ◽

1998 ◽

pp. 1-16 ◽

Cited By ~ 1

Author(s):

Oliver Rüthing

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis ◽

Code Motion

Download Full-text

Automatic Determination of Communication Topologies in Mobile Systems

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-49727-7_9 ◽

1998 ◽

pp. 152-167 ◽

Cited By ~ 20

Author(s):

Arnaud Venet

Keyword(s):

Mobile Systems ◽

Automatic Determination

Download Full-text

A Symbolic Semantics for Abstract Model Checking

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-49727-7_8 ◽

1998 ◽

pp. 134-151 ◽

Cited By ~ 2

Author(s):

Francesca Levi

Keyword(s):

Model Checking ◽

Abstract Model ◽

Abstract Model Checking

Download Full-text

Analysis of Normal Logic Programs

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-49727-7_5 ◽

1998 ◽

pp. 82-98

Author(s):

François Fages ◽

Roberta Gori

Keyword(s):

Logic Programs ◽

Normal Logic

Download Full-text

Analysis of Imperative Programs through Analysis of Constraint Logic Programs

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-49727-7_15 ◽

1998 ◽

pp. 246-261 ◽

Cited By ~ 32

Author(s):

Julio C. Peralta ◽

John P. Gallagher ◽

Hüseyin Sağlam

Keyword(s):

Logic Programs ◽

Constraint Logic Programs

Download Full-text

The Correctness of Set-Sharing

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-49727-7_6 ◽

1998 ◽

pp. 99-114 ◽

Cited By ~ 6

Author(s):

Patricia M. Hill ◽

Roberto Bagnara ◽

Enea Zaffanella

Keyword(s):

Set Sharing

Download Full-text

Refining Static Analyses by Trace-Based Partitioning Using Control Flow

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-49727-7_12 ◽

1998 ◽

pp. 200-214 ◽

Cited By ~ 31

Author(s):

Maria Handjieva ◽

Stanislav Tzolovski

Keyword(s):

Control Flow

Download Full-text

Certifying, Optimizing Compilation

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-49727-7_23 ◽

1998 ◽

pp. 381-381

Author(s):

Peter Lee

Download Full-text

A New Solution to the Hidden Copy Problem

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-49727-7_20 ◽

1998 ◽

pp. 327-348 ◽

Cited By ~ 6

Author(s):

Deepak Goyal ◽

Robert Paige

Download Full-text

Static Analysis - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs

Bidirectional Data Flow Analysis in Code Motion: Myth and Reality

Automatic Determination of Communication Topologies in Mobile Systems

A Symbolic Semantics for Abstract Model Checking

Analysis of Normal Logic Programs

Analysis of Imperative Programs through Analysis of Constraint Logic Programs

The Correctness of Set-Sharing

Refining Static Analyses by Trace-Based Partitioning Using Control Flow

Certifying, Optimizing Compilation

A New Solution to the Hidden Copy Problem

Static Analysis - Lecture Notes in Computer Science
Latest Publications