Search dblp for Publications

export results for "toc:db/conf/sas/sas94.bht:"

 download as .bib file

@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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics