Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/sas/Aiken96,
  author    = {Alexander Aiken},
  title     = {Constraint-Based Program Analysis (Abstract)},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  pages     = {1},
  publisher = {Springer},
  year      = {1996}
}
@inproceedings{DBLP:conf/sas/AlstrupLT96,
  author    = {Stephen Alstrup and
               Peter W. Lauridsen and
               Mikkel Thorup},
  title     = {Generalized Dominators for Structured Programs},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  pages     = {42--51},
  publisher = {Springer},
  year      = {1996}
}
@inproceedings{DBLP:conf/sas/AltFMW96,
  author    = {Martin Alt and
               Christian Ferdinand and
               Florian Martin and
               Reinhard Wilhelm},
  title     = {Cache Behavior Prediction by Abstract Interpretation},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  pages     = {52--66},
  publisher = {Springer},
  year      = {1996}
}
@inproceedings{DBLP:conf/sas/AndersenH96,
  author    = {Peter Holst Andersen and
               Carsten Kehler Holst},
  title     = {Termination Analysis for Offline Partial Evaluation of a Higher Order
               Functional Language},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  pages     = {67--82},
  publisher = {Springer},
  year      = {1996}
}
@inproceedings{DBLP:conf/sas/BoerGP96,
  author    = {Frank S. de Boer and
               Maurizio Gabbrielli and
               Catuscia Palamidessi},
  title     = {Proving Correctness of Constraint Logic Programs with Dynamic Scheduling},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  pages     = {83--97},
  publisher = {Springer},
  year      = {1996}
}
@inproceedings{DBLP:conf/sas/BorgiaDPLT96,
  author    = {Roberta Borgia and
               Pierpaolo Degano and
               Corrado Priami and
               Lone Leth Thomsen and
               Bent Thomsen},
  title     = {Understanding Mobile Agents via a Non-Interleaving Semantics for Facile},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  pages     = {98--112},
  publisher = {Springer},
  year      = {1996}
}
@inproceedings{DBLP:conf/sas/BrauburgerG96,
  author    = {J{\"{u}}rgen Brauburger and
               J{\"{u}}rgen Giesl},
  title     = {Termination Analysis for Partial Functions},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  pages     = {113--127},
  publisher = {Springer},
  year      = {1996}
}
@inproceedings{DBLP:conf/sas/BruynoogheDBDM96,
  author    = {Maurice Bruynooghe and
               Bart Demoen and
               Dmitri Boulanger and
               Marc Denecker and
               Anne Mulkers},
  title     = {A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  pages     = {128--142},
  publisher = {Springer},
  year      = {1996}
}
@inproceedings{DBLP:conf/sas/CoppoDG96,
  author    = {Mario Coppo and
               Ferruccio Damiani and
               Paola Giannini},
  title     = {Refinement Types for Program Analysis},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  pages     = {143--158},
  publisher = {Springer},
  year      = {1996}
}
@inproceedings{DBLP:conf/sas/CrnogoracKS96,
  author    = {Lobel Crnogorac and
               Andrew D. Kelly and
               Harald S{\o}ndergaard},
  title     = {A Comparison of Three Occur-Check Analysers},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  pages     = {159--173},
  publisher = {Springer},
  year      = {1996}
}
@inproceedings{DBLP:conf/sas/Emeljanov96,
  author    = {Pavel G. Emeljanov},
  title     = {Analysis of the Equality Relations for the Program Terms},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  pages     = {174--188},
  publisher = {Springer},
  year      = {1996}
}
@inproceedings{DBLP:conf/sas/FechtS96,
  author    = {Christian Fecht and
               Helmut Seidl},
  title     = {An Even Faster Solver for General Systems of Equations},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  pages     = {189--204},
  publisher = {Springer},
  year      = {1996}
}
@inproceedings{DBLP:conf/sas/Givan96,
  author    = {Robert Givan},
  title     = {Inferring Program Specifications in Polynomial-Time},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  pages     = {205--219},
  publisher = {Springer},
  year      = {1996}
}
@inproceedings{DBLP:conf/sas/Handjieva96,
  author    = {Maria Handjieva},
  title     = {{STAN:} {A} Static Analyzer for {CLP(R)} Based on Abstract Interpretation},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  pages     = {383--384},
  publisher = {Springer},
  year      = {1996}
}
@inproceedings{DBLP:conf/sas/KellyMSS96,
  author    = {Andrew D. Kelly and
               Kim Marriott and
               Harald S{\o}ndergaard and
               Peter J. Stuckey},
  title     = {Two Applications of an Incremental Analysis Engine for (Constraint)
               Logic Programs},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  pages     = {385--386},
  publisher = {Springer},
  year      = {1996}
}
@inproceedings{DBLP:conf/sas/MullerGS96,
  author    = {Martin M{\"{u}}ller and
               Thomas Gla{\ss} and
               Karl Stroetmann},
  title     = {Automated Modular Termination Proofs for Real Prolog Programs},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  pages     = {220--237},
  publisher = {Springer},
  year      = {1996}
}
@inproceedings{DBLP:conf/sas/MullerGS96a,
  author    = {Martin M{\"{u}}ller and
               Thomas Gla{\ss} and
               Karl Stroetmann},
  title     = {{PAN} - The Prolog Analyzer},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  pages     = {387--388},
  publisher = {Springer},
  year      = {1996}
}
@inproceedings{DBLP:conf/sas/Nielson96,
  author    = {Flemming Nielson},
  title     = {Semantics-Directed Program Analysis: {A} Tool-Maker's Perspective},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  pages     = {2--21},
  publisher = {Springer},
  year      = {1996}
}
@inproceedings{DBLP:conf/sas/PandeR96,
  author    = {Hemant D. Pande and
               Barbara G. Ryder},
  title     = {Data-Flow-Based Virtual Function Resolution},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  pages     = {238--254},
  publisher = {Springer},
  year      = {1996}
}
@inproceedings{DBLP:conf/sas/Paterson96,
  author    = {Ross Paterson},
  title     = {Compiling Laziness Using Projections},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  pages     = {255--269},
  publisher = {Springer},
  year      = {1996}
}
@inproceedings{DBLP:conf/sas/PueblaH96,
  author    = {Germ{\'{a}}n Puebla and
               Manuel V. Hermenegildo},
  title     = {Optimized Algorithms for Incremental Analysis of Logic Programs},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  pages     = {270--284},
  publisher = {Springer},
  year      = {1996}
}
@inproceedings{DBLP:conf/sas/RehofM96,
  author    = {Jakob Rehof and
               Torben {\AE}. Mogensen},
  title     = {Tractable Constraints in Finite Semilattices},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  pages     = {285--300},
  publisher = {Springer},
  year      = {1996}
}
@inproceedings{DBLP:conf/sas/RouxR96,
  author    = {Olivier F. Roux and
               Vlad Rusu},
  title     = {Uniformity for the Decidability of Hybrid Automata},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  pages     = {301--316},
  publisher = {Springer},
  year      = {1996}
}
@inproceedings{DBLP:conf/sas/SchoenigD96,
  author    = {St{\'{e}}phane Schoenig and
               Mireille Ducass{\'{e}}},
  title     = {A Backward Slicing Algorithm for Prolog},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  pages     = {317--331},
  publisher = {Springer},
  year      = {1996}
}
@inproceedings{DBLP:conf/sas/Snelting96,
  author    = {Gregor Snelting},
  title     = {Combining Slicing and Constraint Solving for Validation of Measurement
               Software},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  pages     = {332--348},
  publisher = {Springer},
  year      = {1996}
}
@inproceedings{DBLP:conf/sas/Steffen96,
  author    = {Bernhard Steffen},
  title     = {Property-Oriented Expansion},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  pages     = {22--41},
  publisher = {Springer},
  year      = {1996}
}
@inproceedings{DBLP:conf/sas/TrifonovS96,
  author    = {Valery Trifonov and
               Scott F. Smith},
  title     = {Subtyping Constrained Types},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  pages     = {349--365},
  publisher = {Springer},
  year      = {1996}
}
@inproceedings{DBLP:conf/sas/Venet96,
  author    = {Arnaud Venet},
  title     = {Abstract Cofibered Domains: Application to the Alias Analysis of Untyped
               Programs},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  pages     = {366--382},
  publisher = {Springer},
  year      = {1996}
}
@proceedings{DBLP:conf/sas/1996,
  editor    = {Radhia Cousot and
               David A. Schmidt},
  title     = {Static Analysis, Third International Symposium, SAS'96, Aachen, Germany,
               September 24-26, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1145},
  publisher = {Springer},
  year      = {1996}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics