Agostino Cortesi, Gilberto Filé
Proceedings of the Sixth International Static Analysis Symposium
SAS, 1999.

@proceedings{SAS-1999,
	address       = "Venice, Italy",
	editor        = "Agostino Cortesi and Gilberto Filé",
	isbn          = "3-540-66459-9",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Sixth International Static Analysis Symposium}",
	volume        = 1694,
	year          = 1999,
}

Contents (23 items)

8 ×#analysis
2 ×#abstract interpretation
2 ×#graph
2 ×#named
2 ×#precise
2 ×#source code
2 ×#tutorial

SAS-1999-HatcliffCDSZ #concurrent #formal method #multi #slicing #source code #thread #virtual machine

A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives (JH, JCC, MBD, SS, HZ), pp. 1–18.

SAS-1999-AldrichCSE #analysis #java #source code

Static Analyses for Eliminating Unnecessary Synchronization from Java Programs (JA, CC, EGS, SJE), pp. 19–38.

SAS-1999-JeannetHR #analysis #clustering

Dynamic Partitioning in Analyses of Numerical Properties (BJ, NH, PR), pp. 39–50.

SAS-1999-BessonJT #analysis

Polyhedral Analysis for Synchronous Languages (FB, TPJ, JPT), pp. 51–68.

SAS-1999-ZaffanellaHB

Decomposing Non-redundant Sharing by Complementation (EZ, PMH, RB), pp. 69–84.

SAS-1999-HillS #analysis #linear #refinement

Freeness Analysis Through Linear Refinement (PMH, FS), pp. 85–100.

SAS-1999-Mauborgne #graph

Binary Decision Graphs (LM), pp. 101–116.

SAS-1999-Asai #analysis

Binding-Time Analysis for Both Static and Dynamic Expressions (KA), pp. 117–133.

SAS-1999-HansenJNN #abstract interpretation #mobile

Abstract Interpretation of Mobile Ambients (RRH, JGJ, FN, HRN), pp. 134–148.

SAS-1999-Monniaux #automaton #encryption #protocol

Abstracting Cryptographic Protocols with Tree Automata (DM), pp. 149–163.

SAS-1999-BozgaFG #analysis #reduction

State Space Reduction Based on Live Variables Analysis (MB, JCF, LG), pp. 164–178.

SAS-1999-TakimotoH #graph #using

Partial Dead Code Elimination Using Extended Value Graph (MT, KH), pp. 179–193.

SAS-1999-SreedharJGS

Translating Out of Static Single Assignment Form (VCS, RDCJ, DMG, VS), pp. 194–210.

SAS-1999-LiuS #recursion

Eliminating Dead Code on Recursive Data (YAL, SDS), pp. 211–231.

SAS-1999-RuthingKS #detection #performance #precise

Detecting Equalities of Variables: Combining Efficiency with Precision (OR, JK, BS), pp. 232–247.

SAS-1999-KollerM #abstract interpretation

A New Class of Functions for Abstract Interpretation (JK, MM), pp. 248–263.

SAS-1999-CorrensonDPR #equation #semantics

Equational Semantics (LC, ÉD, DP, GR), pp. 264–283.

SAS-1999-CansellM #specification

Abstract Animator for Temporal Specifications: Application to TLA (DC, DM), pp. 284–299.

SAS-1999-Weise #static analysis

Static Analysis of Mega-Programs (DW), pp. 300–302.

SAS-1999-Volpano #safety

Safety versus Secrecy (DMV), pp. 303–311.

SAS-1999-McAllester #analysis #complexity #on the

On the Complexity Analysis of Static Analyses (DAM), pp. 312–329.

SAS-1999-Muller-OlmSS #model checking #named #tutorial

Model-Checking: A Tutorial Introduction (MMO, DAS, BS), pp. 330–354.

SAS-1999-Soffa #analysis #data flow #named #precise #scalability #tutorial

Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis (MLS), pp. 355–356.