Proceedings of the Third 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

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

PLT
DBLP
Scholar
Full names Links ISxN
@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)

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.

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.