Static Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540584858, 9783540490050

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Fast strictness analysis via symbolic fixpoint iteration

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-58485-4_56 ◽

1994 ◽

pp. 423-431

Author(s):

Charles Consel

Keyword(s):

Strictness Analysis

Download Full-text

Compile-time detection of uncaught exceptions in Standard ML programs

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-58485-4_44 ◽

1994 ◽

pp. 238-254 ◽

Cited By ~ 13

Author(s):

Kwangkeun Yi

Keyword(s):

Standard Ml

Download Full-text

From processor timing specifications to static instruction scheduling

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-58485-4_36 ◽

1994 ◽

pp. 116-130 ◽

Cited By ~ 4

Author(s):

Ed Harcourt ◽

Jon Mauney ◽

Todd Cook

Keyword(s):

Instruction Scheduling

Download Full-text

A type-based framework for program analysis

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-58485-4_53 ◽

1994 ◽

pp. 380-394 ◽

Cited By ~ 7

Author(s):

Chris Hankin ◽

Daniel Métayer

Keyword(s):

Program Analysis

Download Full-text

Abstract interpretation using TDGs

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-58485-4_52 ◽

1994 ◽

pp. 363-379 ◽

Cited By ~ 3

Author(s):

Laurent Mauborgne

Keyword(s):

Abstract Interpretation

Download Full-text

Efficient strictness analysis of Haskell

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-58485-4_51 ◽

1994 ◽

pp. 346-362 ◽

Cited By ~ 5

Author(s):

Kristian Damm Jensen ◽

Peter Hjæresen ◽

Mads Rosendahl

Keyword(s):

Strictness Analysis

Download Full-text

Generalized boxings, congruences and partial inlining

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-58485-4_38 ◽

1994 ◽

pp. 147-161 ◽

Cited By ~ 5

Author(s):

Jean Goubault

Download Full-text

Selective thunkification

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-58485-4_39 ◽

1994 ◽

pp. 162-178 ◽

Cited By ~ 4

Author(s):

Paul Steckler ◽

Mitchell Wand

Download Full-text

Stackability in the simply-typed call-by-value lambda calculus

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-58485-4_37 ◽

1994 ◽

pp. 131-146 ◽

Cited By ~ 1

Author(s):

Anindya Banerjee ◽

David A. Schmidt

Keyword(s):

Lambda Calculus

Download Full-text

Finding fixpoints in finite function spaces using neededness analysis and chaotic iteration

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-58485-4_50 ◽

1994 ◽

pp. 329-345 ◽

Cited By ~ 11

Author(s):

Niels Jørgensen

Keyword(s):

Function Spaces ◽

Finite Function ◽

Chaotic Iteration

Download Full-text

Static Analysis - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Fast strictness analysis via symbolic fixpoint iteration

Compile-time detection of uncaught exceptions in Standard ML programs

From processor timing specifications to static instruction scheduling

A type-based framework for program analysis

Abstract interpretation using TDGs

Efficient strictness analysis of Haskell

Generalized boxings, congruences and partial inlining

Selective thunkification

Stackability in the simply-typed call-by-value lambda calculus

Finding fixpoints in finite function spaces using neededness analysis and chaotic iteration

Static Analysis - Lecture Notes in Computer Science
Latest Publications