
Conferences in DBLP
 Thomas W. Getzinger
The Costs and Benefits of Abstract Interpretationdriven Prolog Optimization [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:125 [Conf]
 Michael Hanus, Frank Zartmann
Mode Analysis of Functional Logic Programs [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:2642 [Conf]
 Alexander Aiken, T. K. Lakshman
Directional Type Checking of Logic Programs [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:4360 [Conf]
 Dmitri Boulanger, Maurice Bruynooghe
A Systematic Construction of Abstract Domains [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:6177 [Conf]
 Ole Agesen
ConstraintBased Type Inference and Parametric Polymorphism. [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:78100 [Conf]
 Frank Mueller, David B. Whalley
Efficient Onthefly Analysis of Program Behavior and Static Cache Simulation. [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:101115 [Conf]
 Edwin A. Harcourt, Jon Mauney, Todd A. Cook
From Processor Timing Specifications to Static Intruction Scheduling. [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:116130 [Conf]
 Anindya Banerjee, David A. Schmidt
Stackability in the SimplyTyped CallbyValue Lambda Calculus. [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:131146 [Conf]
 Jean Goubault
Generalized Boxings, Congruences and Partial Inlining. [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:147161 [Conf]
 Paul Steckler, Mitchell Wand
Selective Thunkification. [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:162178 [Conf]
 Nicolas Halbwachs
About Synchronous Programming and Abstract Interpretation. [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:179192 [Conf]
 David A. GarzaSalazar, A. P. Wim Böhm
Uniqueness and Completeness Analysis of Array Comprehensions. [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:193207 [Conf]
 Björn Lisper, JeanFrancois Collard
Extended Analysis of Data Fields. [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:208222 [Conf]
 Nicolas Halbwachs, YannEric Proy, Pascal Raymond
Verification of Linear Hybrid Systems by Means of Convex Approximations. [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:223237 [Conf]
 Kwangkeun Yi
Compiletime Detection of Uncaught Exceptions in Standard ML Programs. [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:238254 [Conf]
 Kristian Damm Jensen, Peter Hjæresen, Mads Rosendahl
Efficient Strictness Analysis of Haskell. [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:246362 [Conf]
 Saumya K. Debray, Pedro LópezGarcía, Manuel V. Hermenegildo, NaiWei Lin
Estimating the Computational Cost of Logic Programs. [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:255265 [Conf]
 Tania Armstrong, Kim Marriott, Peter Schachte, Harald Søndergaard
Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation. [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:266280 [Conf]
 Michael Codish, Bart Demoen
Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop. [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:281296 [Conf]
 Daniel Cabeza Gras, Manuel V. Hermenegildo
Extracting NonStrict Independent AndParallelism Using Sharing and Freeness Information. [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:297313 [Conf]
 Bart Vergauwen, J. Wauman, Johan Lewi
Efficient FixPoint Computation. [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:314328 [Conf]
 Niels Jörgensen
Finding Fixpoints in Finite Function Spaces Using Neddedness Analysis and Chaotic Iteration. [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:329345 [Conf]
 Laurent Mauborgne
Abstract Interpretation Using TDGs. [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:363379 [Conf]
 Chris Hankin, Daniel Le Métayer
A Typebased Framework for Program Analysis. [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:380394 [Conf]
 Fritz Henglein
Iterative Fixed Point Computation for TypeBased Strictness Analysis. [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:395407 [Conf]
 Kirsten Lackner Solberg
Strictness and Totality Analysis. [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:408422 [Conf]
 Charles Consel
Fast Strictness Analysis Via Symbolic Fixpoint Iteration. [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:423431 [Conf]
 Robert Glück, Jesper Jørgensen
Generating Transformers for Deforestation and Supercompilation. [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:432448 [Conf]
 Hessam Khoshnevisan, Mohamad Afshar
Mechanical Elimination of Commutative Redundancy. [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:449463 [Conf]
