wikidata.org
International Static Analysis Symposium
container_lm2usnsqdzcuxd3xehdpgjoczm
Example Publications
Efficient Closure Analysis with Reachability
no archive
A. E. Ayers
1992
|
International Static Analysis Symposium
dblp:conf/sas/Ayers92
Une représentation abstraite des expressions et continuations en Scheme
no archive
F. Goudal
1991
|
International Static Analysis Symposium
dblp:conf/sas/Goudal91
Program Transformation in a Nonmonotonic Reasoning System
no archive
Tadashi Araragi
1992
|
International Static Analysis Symposium
dblp:conf/sas/Araragi92
Minimal Function Graphs are not Instrumented
no archive
Alan Mycroft, Mads Rosendahl
1992
|
International Static Analysis Symposium
dblp:conf/sas/MycroftR92
Sharing Analysis of Lazy First-Order Functional Programs
no archive
Geoff W. Hamilton
1992
|
International Static Analysis Symposium
dblp:conf/sas/Hamilton92