Proceedings of the Seventh International Static Analysis Symposium
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Jens Palsberg
Proceedings of the Seventh International Static Analysis Symposium
SAS, 2000.

PLT
DBLP
Scholar
Full names Links ISxN
@proceedings{SAS-2000,
	address       = "Santa Barbara, California, USA",
	editor        = "Jens Palsberg",
	isbn          = "3-540-67668-6",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Seventh International Static Analysis Symposium}",
	volume        = 1824,
	year          = 2000,
}

Contents (22 items)

SAS-2000-Jackson #constraints #design #logic
Enforcing Design Constraints with Object Logic (DJ), pp. 1–21.
SAS-2000-Podelski #constraints #model checking #theorem proving
Model Checking as Constraint Solving (AP), pp. 22–37.
SAS-2000-AmatoL #abstract interpretation #calculus #semantics
Abstract Interpretation Based Semantics of Sequent Calculi (GA, GL), pp. 38–57.
SAS-2000-BensalemBFGL #approach #generative #invariant
A Transformational Approach for Generating Non-linear Invariants (SB, MB, JCF, LG, YL), pp. 58–74.
SAS-2000-ChinKHT #invariant #parallel
Deriving Parallel Codes via Invariants (WNC, SCK, ZH, MT), pp. 75–94.
SAS-2000-ClarkHH #analysis #graph grammar #safety #strict
Safety of Strictness Analysis via Term Graph Rewriting (DC, CH, SH), pp. 95–114.
SAS-2000-DorRS
Checking Cleanness in Linked Lists (ND, MR, SS), pp. 115–134.
SAS-2000-Feret #analysis #mobile
Confidentiality Analysis of Mobile Systems (JF), pp. 135–154.
SAS-2000-FinkKS #analysis #array
Unified Analysis of Array and Object References in Strongly Typed Languages (SJF, KK, VS), pp. 155–174.
SAS-2000-FosterFA #analysis #c #points-to #polymorphism
Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C (JSF, MF, AA), pp. 175–198.
SAS-2000-GagnonHM #bytecode #java #performance #static typing
Efficient Inference of Static Types for Java Bytecode (EG, LJH, GM), pp. 199–219.
SAS-2000-HenzingerMMR #abstract interpretation #game studies
Abstract Interpretation of Game Properties (TAH, RM, FYCM, JFR), pp. 220–239.
SAS-2000-JaramilloGS #debugging #named
FULLDOC: A Full Reporting Debugger for Optimized Code (CJ, RG, MLS), pp. 240–259.
SAS-2000-KnoopCJ
Partial Redundancy Elimination on Predicated Code (JK, JFC, RDCJ), pp. 260–279.
SAS-2000-Lev-AmiS #analysis #implementation #named
TVLA: A System for Implementing Static Analyses (TLA, SS), pp. 280–301.
SAS-2000-Mauborgne #termination
Tree Schemata and Fair Termination (LM), pp. 302–321.
SAS-2000-Monniaux #abstract interpretation #probability #semantics
Abstract Interpretation of Probabilistic Semantics (DM), pp. 322–339.
SAS-2000-MuthWD
Code Specialization Based on Value Profiles (RM, SAW, SKD), pp. 340–359.
SAS-2000-RielyP
Flattening Is an Improvement (JR, JP), pp. 360–376.
SAS-2000-Saidi #abstraction #analysis #model checking
Model Checking Guided Abstraction and Analysis (HS), pp. 377–396.
SAS-2000-Scozzari #abstract domain #analysis #semantics
Abstract Domains for Sharing Analysis by Optimal Semantics (FS), pp. 397–412.
SAS-2000-UngureanuJ #analysis #concurrent #java
Concurrency Analysis for Java (CU, SJ), pp. 413–432.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.