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

@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)

8 ×#analysis
3 ×#abstract interpretation
3 ×#semantics
2 ×#constraints
2 ×#invariant
2 ×#java
2 ×#model checking
2 ×#named

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.