Static Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540423140, 9783540477648

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Analysis of Multithreaded Programs

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-47764-0_1 ◽

2001 ◽

pp. 1-19 ◽

Cited By ~ 28

Author(s):

Martin Rinard

Keyword(s):

Multithreaded Programs

Download Full-text

Security-Typed Languages and Distributed Computation

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-47764-0_28 ◽

2001 ◽

pp. 437-437

Author(s):

Andrew Myers

Keyword(s):

Distributed Computation ◽

Typed Languages

Download Full-text

Solving Regular Tree Grammar Based Constraints

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-47764-0_13 ◽

2001 ◽

pp. 213-233 ◽

Cited By ~ 1

Author(s):

Yanhong A. Liu ◽

Ning Li ◽

Scott D. Stoller

Keyword(s):

Regular Tree ◽

Tree Grammar

Download Full-text

Applications of Extended Static Checking

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-47764-0_11 ◽

2001 ◽

pp. 185-193 ◽

Cited By ~ 3

Author(s):

K. Rustan ◽

M. Leino

Keyword(s):

Static Checking

Download Full-text

Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-47764-0_8 ◽

2001 ◽

pp. 127-145 ◽

Cited By ~ 4

Author(s):

Fausto Spoto

Download Full-text

Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-47764-0_16 ◽

2001 ◽

pp. 279-298 ◽

Cited By ~ 8

Author(s):

Donglin Liang ◽

Mary Jean Harrold

Keyword(s):

Efficient Computation

Download Full-text

Static Analyses of the Precision of Floating-Point Operations

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-47764-0_14 ◽

2001 ◽

pp. 234-259 ◽

Cited By ~ 33

Author(s):

Eric Goubault

Keyword(s):

Floating Point

Download Full-text

Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-47764-0_6 ◽

2001 ◽

pp. 93-110 ◽

Cited By ~ 18

Author(s):

Fred Mesnard ◽

Ulrich Neumerkel

Keyword(s):

Static Analysis ◽

Logic Programs ◽

Analysis Techniques

Download Full-text

Soft Scheduling for Hardware

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-47764-0_4 ◽

2001 ◽

pp. 57-72 ◽

Cited By ~ 2

Author(s):

Richard Sharp ◽

Alan Mycroft

Download Full-text

A Type and Effect Analysis of Security Protocols

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-47764-0_26 ◽

2001 ◽

pp. 432-432 ◽

Cited By ~ 1

Author(s):

Andrew D. Gordon ◽

Alan Jeffrey

Keyword(s):

Security Protocols ◽

Effect Analysis

Download Full-text

Static Analysis - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Analysis of Multithreaded Programs

Security-Typed Languages and Distributed Computation

Solving Regular Tree Grammar Based Constraints

Applications of Extended Static Checking

Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses

Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses

Static Analyses of the Precision of Floating-Point Operations

Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs

Soft Scheduling for Hardware

A Type and Effect Analysis of Security Protocols

Static Analysis - Lecture Notes in Computer Science
Latest Publications