Radhia Cousot, David A. Schmidt
Proceedings of the Third International Static Analysis Symposium
SAS, 1996.

@proceedings{SAS-1996,
	address       = "Aachen, Germany",
	editor        = "Radhia Cousot and David A. Schmidt",
	isbn          = "3-540-61739-6",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Third International Static Analysis Symposium}",
	volume        = 1145,
	year          = 1996,
}

Contents (28 items)

7 ×#analysis
7 ×#source code
5 ×#constraints
4 ×#logic programming
3 ×#program analysis
3 ×#prolog
3 ×#termination
2 ×#abstract interpretation
2 ×#algorithm
2 ×#incremental

SAS-1996-Aiken #constraints #program analysis

Constraint-Based Program Analysis (AA), p. 1.

SAS-1996-Nielson #perspective #program analysis #semantics

Semantics-Directed Program Analysis: A Tool-Maker’s Perspective (FN), pp. 2–21.

SAS-1996-Steffen

Property-Oriented Expansion (BS), pp. 22–41.

SAS-1996-AlstrupLT #source code

Generalized Dominators for Structured Programs (SA, PWL, MT), pp. 42–51.

SAS-1996-AltFMW #abstract interpretation #behaviour #predict

Cache Behavior Prediction by Abstract Interpretation (MA, CF, FM, RW), pp. 52–66.

SAS-1996-AndersenH #analysis #functional #higher-order #partial evaluation #termination

Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language (PHA, CKH), pp. 67–82.

SAS-1996-BoerGP #constraints #correctness #logic programming #proving #scheduling #source code

Proving Correctness of Constraint Logic Programs with Dynamic Scheduling (FSdB, MG, CP), pp. 83–97.

SAS-1996-BorgiaDPLT #comprehension #mobile #semantics

Understanding Mobile Agents via a Non-Interleaving Semantics for Facile (RB, PD, CP, LL, BT), pp. 98–112.

SAS-1996-BrauburgerG #analysis #termination

Termination Analysis for Partial Functions (JB, JG), pp. 113–127.

SAS-1996-BruynoogheDBDM #analysis #logic programming #source code

A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation (MB, BD, DB, MD, AM), pp. 128–142.

SAS-1996-CoppoDG #program analysis #refinement

Refinement Types for Program Analysis (MC, FD, PG), pp. 143–158.

SAS-1996-CrnogoracKS #comparison

A Comparison of Three Occur-Check Analysers (LC, ADK, HS), pp. 159–173.

SAS-1996-Emeljanov #analysis #similarity

Analysis of the Equality Relations for the Program Terms (PGE), pp. 174–188.

SAS-1996-FechtS #equation #performance

An Even Faster Solver for General Systems of Equations (CF, HS), pp. 189–204.

SAS-1996-Givan #polynomial #specification

Inferring Program Specifications in Polynomial-Time (RG), pp. 205–219.

SAS-1996-MullerGS #automation #composition #prolog #proving #source code #termination

Automated Modular Termination Proofs for Real Prolog Programs (MM, TG, KS), pp. 220–237.

SAS-1996-PandeR #data flow

Data-Flow-Based Virtual Function Resolution (HDP, BGR), pp. 238–254.

SAS-1996-Paterson #compilation #lazy evaluation #using

Compiling Laziness Using Projections (RP), pp. 255–269.

SAS-1996-PueblaH #algorithm #analysis #incremental #logic programming #source code

Optimized Algorithms for Incremental Analysis of Logic Programs (GP, MVH), pp. 270–284.

SAS-1996-RehofM #constraints #finite

Tractable Constraints in Finite Semilattices (JR, TÆM), pp. 285–300.

SAS-1996-RouxR #automaton #decidability #hybrid

Uniformity for the Decidability of Hybrid Automata (OFR, VR), pp. 301–316.

SAS-1996-SchoenigD #algorithm #prolog #slicing

A Backward Slicing Algorithm for Prolog (SS, MD), pp. 317–331.

SAS-1996-Snelting #constraints #metric #slicing #theorem proving #validation

Combining Slicing and Constraint Solving for Validation of Measurement Software (GS), pp. 332–348.

SAS-1996-TrifonovS #type system

Subtyping Constrained Types (VT, SFS), pp. 349–365.

SAS-1996-Venet #alias #analysis #source code

Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs (AV), pp. 366–382.

SAS-1996-Handjieva #abstract interpretation #named

STAN: A Static Analyzer for CLP(R) Based on Abstract Interpretation (MH), pp. 383–384.

SAS-1996-KellyMSS #analysis #constraints #incremental #logic programming #source code

Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs (ADK, KM, HS, PJS), pp. 385–386.

SAS-1996-MullerGS96a #named #prolog

PAN — The Prolog Analyzer (MM, TG, KS), pp. 387–388.