**default search action**

# Search dblp for Publications

export results for

**"toc:db/conf/sas/sas94.bht:"**@inproceedings{DBLP:conf/sas/Agesen94, author = {Ole Agesen}, title = {Constraint-Based Type Inference and Parametric Polymorphism}, booktitle = {{SAS}}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {78--100}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/sas/AikenL94, author = {Alexander Aiken and T. K. Lakshman}, title = {Directional Type Checking of Logic Programs}, booktitle = {{SAS}}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {43--60}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/sas/ArmstrongMSS94, author = {Tania Armstrong and Kim Marriott and Peter Schachte and Harald S{\o}ndergaard}, title = {Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation}, booktitle = {{SAS}}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {266--280}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/sas/BanerjeeS94, author = {Anindya Banerjee and David A. Schmidt}, title = {Stackability in the Simply-Typed Call-by-Value Lambda Calculus}, booktitle = {{SAS}}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {131--146}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/sas/BoulangerB94, author = {Dmitri Boulanger and Maurice Bruynooghe}, title = {A Systematic Construction of Abstract Domains}, booktitle = {{SAS}}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {61--77}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/sas/CodishD94, author = {Michael Codish and Bart Demoen}, title = {Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop}, booktitle = {{SAS}}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {281--296}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/sas/Consel94, author = {Charles Consel}, title = {Fast Strictness Analysis Via Symbolic Fixpoint Iteration}, booktitle = {{SAS}}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {423--431}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/sas/DebrayGHL94, author = {Saumya K. Debray and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and Manuel V. Hermenegildo and Nai{-}Wei Lin}, title = {Estimating the Computational Cost of Logic Programs}, booktitle = {{SAS}}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {255--265}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/sas/Garza-SalazarB94, author = {David A. Garza{-}Salazar and A. P. Wim B{\"{o}}hm}, title = {Uniqueness and Completeness Analysis of Array Comprehensions}, booktitle = {{SAS}}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {193--207}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/sas/Getzinger94, author = {Thomas W. Getzinger}, title = {The Costs and Benefits of Abstract Interpretation-driven Prolog Optimization}, booktitle = {{SAS}}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {1--25}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/sas/GluckJ94, author = {Robert Gl{\"{u}}ck and Jesper J{\o}rgensen}, title = {Generating Transformers for Deforestation and Supercompilation}, booktitle = {{SAS}}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {432--448}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/sas/Goubault94, author = {Jean Goubault}, title = {Generalized Boxings, Congruences and Partial Inlining}, booktitle = {{SAS}}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {147--161}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/sas/GrasH94, author = {Daniel Cabeza Gras and Manuel V. Hermenegildo}, title = {Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information}, booktitle = {{SAS}}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {297--313}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/sas/Halbwachs94, author = {Nicolas Halbwachs}, title = {About Synchronous Programming and Abstract Interpretation}, booktitle = {{SAS}}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {179--192}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/sas/HalbwachsPR94, author = {Nicolas Halbwachs and Yann{-}Eric Proy and Pascal Raymond}, title = {Verification of Linear Hybrid Systems by Means of Convex Approximations}, booktitle = {{SAS}}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {223--237}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/sas/HankinM94, author = {Chris Hankin and Daniel Le M{\'{e}}tayer}, title = {A Type-based Framework for Program Analysis}, booktitle = {{SAS}}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {380--394}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/sas/HanusZ94, author = {Michael Hanus and Frank Zartmann}, title = {Mode Analysis of Functional Logic Programs}, booktitle = {{SAS}}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {26--42}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/sas/HarcourtMC94, author = {Edwin A. Harcourt and Jon Mauney and Todd A. Cook}, title = {From Processor Timing Specifications to Static Intruction Scheduling}, booktitle = {{SAS}}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {116--130}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/sas/Henglein94, author = {Fritz Henglein}, title = {Iterative Fixed Point Computation for Type-Based Strictness Analysis}, booktitle = {{SAS}}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {395--407}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/sas/JensenHR94, author = {Kristian Damm Jensen and Peter Hj{\ae}resen and Mads Rosendahl}, title = {Efficient Strictness Analysis of Haskell}, booktitle = {{SAS}}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {246--362}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/sas/Jorgensen94, author = {Niels J{\"{o}}rgensen}, title = {Finding Fixpoints in Finite Function Spaces Using Neddedness Analysis and Chaotic Iteration}, booktitle = {{SAS}}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {329--345}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/sas/KhoshnevisanA94, author = {Hessam Khoshnevisan and Mohamad Afshar}, title = {Mechanical Elimination of Commutative Redundancy}, booktitle = {{SAS}}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {449--463}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/sas/LisperC94, author = {Bj{\"{o}}rn Lisper and Jean{-}Francois Collard}, title = {Extended Analysis of Data Fields}, booktitle = {{SAS}}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {208--222}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/sas/Mauborgne94, author = {Laurent Mauborgne}, title = {Abstract Interpretation Using TDGs}, booktitle = {{SAS}}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {363--379}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/sas/MuellerW94, author = {Frank Mueller and David B. Whalley}, title = {Efficient On-the-fly Analysis of Program Behavior and Static Cache Simulation}, booktitle = {{SAS}}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {101--115}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/sas/Solberg94, author = {Kirsten Lackner Solberg}, title = {Strictness and Totality Analysis}, booktitle = {{SAS}}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {408--422}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/sas/StecklerW94, author = {Paul Steckler and Mitchell Wand}, title = {Selective Thunkification}, booktitle = {{SAS}}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {162--178}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/sas/VergauwenWL94, author = {Bart Vergauwen and J. Wauman and Johan Lewi}, title = {Efficient FixPoint Computation}, booktitle = {{SAS}}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {314--328}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/sas/Yi94, author = {Kwangkeun Yi}, title = {Compile-time Detection of Uncaught Exceptions in Standard {ML} Programs}, booktitle = {{SAS}}, series = {Lecture Notes in Computer Science}, volume = {864}, pages = {238--254}, publisher = {Springer}, year = {1994} }

@proceedings{DBLP:conf/sas/94, editor = {Baudouin Le Charlier}, title = {Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {864}, publisher = {Springer}, year = {1994} }