default search action

combined dblp search
author search
venue search
publication search

ask others

7. SAS 2000: Santa Barbara, CA, USA

> Home > Conferences and Workshops > SAS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/sas/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/2000
Jens Palsberg:
Static Analysis, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, Proceedings. Lecture Notes in Computer Science 1824, Springer 2000, ISBN 3-540-67668-6

Invited Papers

- view
  authority control:
- export record
  dblp key:
  - conf/sas/Jackson00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Jackson00
Daniel Jackson:
Enforcing Design Constraints with Object Logic. 1-21
- view
  authority control:
- export record
  dblp key:
  - conf/sas/Podelski00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Podelski00
Andreas Podelski:
Model Checking as Constraint Solving. 22-37

Contributed Papers

- view
  authority control:
- export record
  dblp key:
  - conf/sas/AmatoL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/AmatoL00
Gianluca Amato, Giorgio Levi:
Abstract Interpretation Based Semantics of Sequent Calculi. 38-57
- view
  authority control:
- export record
  dblp key:
  - conf/sas/BensalemBFGL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/BensalemBFGL00
Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech:
A Transformational Approach for Generating Non-linear Invariants. 58-74
- view
  authority control:
- export record
  dblp key:
  - conf/sas/ChinKHT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/ChinKHT00
Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi:
Deriving Parallel Codes via Invariants. 75-94
- view
  authority control:
- export record
  dblp key:
  - conf/sas/ClarkHH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/ClarkHH00
David Clark, Chris Hankin, Sebastian Hunt:
Safety of Strictness Analysis via Term Graph Rewriting. 95-114
- view
  authority control:
- export record
  dblp key:
  - conf/sas/DorRS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/DorRS00
Nurit Dor, Michael Rodeh, Shmuel Sagiv:
Checking Cleanness in Linked Lists. 115-134
- view
  authority control:
- export record
  dblp key:
  - conf/sas/Feret00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Feret00
Jérôme Feret:
Confidentiality Analysis of Mobile Systems. 135-154
- view
  authority control:
- export record
  dblp key:
  - conf/sas/FinkKS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/FinkKS00
Stephen J. Fink, Kathleen Knobe, Vivek Sarkar:
Unified Analysis of Array and Object References in Strongly Typed Languages. 155-174
- view
  authority control:
- export record
  dblp key:
  - conf/sas/FosterFA00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/FosterFA00
Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken:
Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. 175-198
- view
  authority control:
- export record
  dblp key:
  - conf/sas/GagnonHM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/GagnonHM00
Etienne Gagnon, Laurie J. Hendren, Guillaume Marceau:
Efficient Inference of Static Types for Java Bytecode. 199-219
- view
  authority control:
- export record
  dblp key:
  - conf/sas/HenzingerMMR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/HenzingerMMR00
Thomas A. Henzinger, Rupak Majumdar, Freddy Y. C. Mang, Jean-François Raskin:
Abstract Interpretation of Game Properties. 220-239
- view
  authority control:
- export record
  dblp key:
  - conf/sas/JaramilloGS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/JaramilloGS00
Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa:
FULLDOC: A Full Reporting Debugger for Optimized Code. 240-259
- view
  authority control:
- export record
  dblp key:
  - conf/sas/KnoopCJ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/KnoopCJ00
Jens Knoop, Jean-Francois Collard, Roy Dz-Ching Ju:
Partial Redundancy Elimination on Predicated Code. 260-279
- view
  authority control:
- export record
  dblp key:
  - conf/sas/Lev-AmiS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Lev-AmiS00
Tal Lev-Ami, Shmuel Sagiv:
TVLA: A System for Implementing Static Analyses. 280-301
- view
  authority control:
- export record
  dblp key:
  - conf/sas/Mauborgne00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Mauborgne00
Laurent Mauborgne:
Tree Schemata and Fair Termination. 302-321
- view
  authority control:
- export record
  dblp key:
  - conf/sas/Monniaux00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Monniaux00
David Monniaux:
Abstract Interpretation of Probabilistic Semantics. 322-339
- view
  authority control:
- export record
  dblp key:
  - conf/sas/MuthWD00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/MuthWD00
Robert Muth, Scott A. Watterson, Saumya K. Debray:
Code Specialization Based on Value Profiles. 340-359
- view
  authority control:
- export record
  dblp key:
  - conf/sas/RielyP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/RielyP00
James Riely, Jan F. Prins:
Flattening Is an Improvement. 360-376
- view
  authority control:
- export record
  dblp key:
  - conf/sas/Saidi00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Saidi00
Hassen Saïdi:
Model Checking Guided Abstraction and Analysis. 377-396
- view
  authority control:
- export record
  dblp key:
  - conf/sas/Scozzari00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Scozzari00
Francesca Scozzari:
Abstract Domains for Sharing Analysis by Optimal Semantics. 397-412
- view
  authority control:
- export record
  dblp key:
  - conf/sas/UngureanuJ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/UngureanuJ00
Cristian Ungureanu, Suresh Jagannathan:
Concurrency Analysis for Java. 413-432

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.