1. SAS 1994:
Namur, Belgium Baudouin Le Charlier (Ed.):
Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings.
Lecture Notes in Computer Science 864 Springer 1994, ISBN 3-540-58485-4 Invited Talk
export record as
dblp key:
Thomas W. Getzinger :
The Costs and Benefits of Abstract Interpretation-driven Prolog Optimization.
1-25
Logic Programming
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Object-Oriented Programming
export record as
dblp key:
Ole Agesen :
Constraint-Based Type Inference and Parametric Polymorphism.
78-100
Instruction Scheduling
export record as
dblp key:
export record as
dblp key:
Functional Program Optimization
export record as
dblp key:
export record as
dblp key:
Jean Goubault :
Generalized Boxings, Congruences and Partial Inlining.
147-161
export record as
dblp key:
Invited Talk
export record as
dblp key:
Nicolas Halbwachs :
About Synchronous Programming and Abstract Interpretation.
179-192
Extent Analysis
export record as
dblp key:
conf/sas/Garza-SalazarB94 export record as
dblp key:
Verification
export record as
dblp key:
export record as
dblp key:
Kwangkeun Yi :
Compile-time Detection of Uncaught Exceptions in Standard ML Programs.
238-254
Invited Talk
export record as
dblp key:
Dependency Analyses for Logic Programming
export record as
dblp key:
export record as
dblp key:
Michael Codish ,
Bart Demoen :
Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop.
281-296
export record as
dblp key:
Generic Fixpoint Algorithms
export record as
dblp key:
export record as
dblp key:
Niels Jörgensen :
Finding Fixpoints in Finite Function Spaces Using Neddedness Analysis and Chaotic Iteration.
329-345
Efficient Strictness Analysis
export record as
dblp key:
export record as
dblp key:
Type-based Analyses for Functional Programming
export record as
dblp key:
export record as
dblp key:
Fritz Henglein :
Iterative Fixed Point Computation for Type-Based Strictness Analysis.
395-407
export record as
dblp key:
Invited Talk
export record as
dblp key:
Charles Consel :
Fast Strictness Analysis Via Symbolic Fixpoint Iteration.
423-431
Transformation
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
