Static Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540572640, 9783540480273

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Usage analysis with natural reduction types

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-57264-3_46 ◽

1993 ◽

pp. 254-266 ◽

Cited By ~ 4

Author(s):

David A. Wright ◽

Clement A. Baker-Finch

Keyword(s):

Usage Analysis

Download Full-text

An efficient abductive reasoning system based on program analysis

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-57264-3_44 ◽

1993 ◽

pp. 230-241 ◽

Cited By ~ 1

Author(s):

Shohei Kato ◽

Hirohisa Seki ◽

Hidenori Itoh

Keyword(s):

Program Analysis ◽

Abductive Reasoning ◽

Reasoning System

Download Full-text

Combining dependability with architectural adaptability by means of the signal language

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-57264-3_32 ◽

1993 ◽

pp. 99-110 ◽

Cited By ~ 3

Author(s):

Olivier MaffeÏs ◽

Paul Guernic

Download Full-text

Fast abstract interpretation using sequential algorithms

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-57264-3_28 ◽

1993 ◽

pp. 45-59 ◽

Cited By ~ 4

Author(s):

Alex Ferguson ◽

John Hughes

Keyword(s):

Abstract Interpretation ◽

Sequential Algorithms

Download Full-text

Chaotic fixpoint iteration guided by dynamic dependency

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-57264-3_27 ◽

1993 ◽

pp. 27-44 ◽

Cited By ~ 1

Author(s):

Niels JØrgensen

Download Full-text

Occam's razor in metacomputation: the notion of a perfect process tree

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-57264-3_34 ◽

1993 ◽

pp. 112-123 ◽

Cited By ~ 43

Author(s):

Robert Glück ◽

Andrei V. Klimov

Keyword(s):

Occam’S Razor ◽

Occam's Razor ◽

Process Tree

Download Full-text

Semantics and analysis of linda-based languages

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-57264-3_30 ◽

1993 ◽

pp. 72-86 ◽

Cited By ~ 4

Author(s):

Régis Cridlig ◽

Eric Goubault

Download Full-text

The impact of granularity in abstract interpretation of Prolog

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-57264-3_25 ◽

1993 ◽

pp. 1-14 ◽

Cited By ~ 6

Author(s):

Pascal Hentenryck ◽

Olivier Degimbe ◽

Baudouin Charlier ◽

Laurent Michel

Keyword(s):

Abstract Interpretation ◽

The Impact

Download Full-text

Demonstration: static analysis of AKL

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-57264-3_48 ◽

1993 ◽

pp. 282-283

Author(s):

Dan Sahlin ◽

Thomas Sjöland

Keyword(s):

Static Analysis

Download Full-text

Polymorphic types and widening operators

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-57264-3_47 ◽

1993 ◽

pp. 267-281 ◽

Cited By ~ 2

Author(s):

B. Monsuez

Keyword(s):

Widening Operators

Download Full-text

Static Analysis - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Usage analysis with natural reduction types

An efficient abductive reasoning system based on program analysis

Combining dependability with architectural adaptability by means of the signal language

Fast abstract interpretation using sequential algorithms

Chaotic fixpoint iteration guided by dynamic dependency

Occam's razor in metacomputation: the notion of a perfect process tree

Semantics and analysis of linda-based languages

The impact of granularity in abstract interpretation of Prolog

Demonstration: static analysis of AKL

Polymorphic types and widening operators

Static Analysis - Lecture Notes in Computer Science
Latest Publications