Proceedings of the 15th 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

María Alpuente, Germán Vidal
Proceedings of the 15th International Static Analysis Symposium
SAS, 2008.

PLT
DBLP
Scholar
Full names Links ISxN
@proceedings{SAS-2008,
	address       = "Valencia, Spain",
	editor        = "María Alpuente and Germán Vidal",
	isbn          = "978-3-540-69163-1",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 15th International Static Analysis Symposium}",
	volume        = 5079,
	year          = 2008,
}

Contents (24 items)

SAS-2008-GiacobazziM #abstract interpretation
Transforming Abstract Interpretations by Abstract Interpretation (RG, IM), pp. 1–17.
SAS-2008-Liblit #debugging #static analysis
Reflections on the Role of Static Analysis in Cooperative Bug Isolation (BL), pp. 18–31.
SAS-2008-BauerNNP #analysis #correlation #relational
Relational Analysis of Correlation (JB, FN, HRN, HP), pp. 32–46.
SAS-2008-Leroux #automaton
Convex Hull of Arithmetic Automata (JL), pp. 47–61.
SAS-2008-ConwayDNB #analysis #fault #pointer #proving
Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors (CLC, DD, KSN, CB), pp. 62–77.
SAS-2008-RamanathanSGJ #protocol #using
Protocol Inference Using Static Path Profiles (MKR, KS, AG, SJ), pp. 78–92.
SAS-2008-LalR #data flow #multi #query #using
Solving Multiple Dataflow Queries Using WPDSs (AL, TWR), pp. 93–109.
SAS-2008-PrabhuS #analysis #array #java #pointer #using
Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA (PP, PS), pp. 110–127.
SAS-2008-RuggieriM #constraints #linear #source code #type system
Typing Linear Constraints for Moding CLP() Programs (SR, FM), pp. 128–143.
SAS-2008-CominiDV #abstract interpretation #on the #polymorphism #recursion #type system
On Polymorphic Recursion, Type Systems, and Abstract Interpretation (MC, FD, SV), pp. 144–158.
SAS-2008-NanzNN #abstraction #behaviour #concurrent
Modal Abstractions of Concurrent Behaviour (SN, FN, HRN), pp. 159–173.
SAS-2008-PredaGV
Hiding Software Watermarks in Loop Structures (MDP, RG, EV), pp. 174–188.
SAS-2008-AllamigeonGG #invariant #using
Inferring Min and Max Invariants Using Max-Plus Polyhedra (XA, SG, EG), pp. 189–204.
SAS-2008-LammichM #analysis #concurrent #monitoring #source code #thread
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors (PL, MMO), pp. 205–220.
SAS-2008-AlbertAGP #automation #bound #cost analysis
Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis (EA, PA, SG, GP), pp. 221–237.
SAS-2008-BalakrishnanSIWG #analysis #detection #named #refinement
SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement (GB, SS, FI, OW, AG), pp. 238–254.
SAS-2008-HornM #analysis
Flow Analysis, Linearity, and PTIME (DVH, HGM), pp. 255–269.
SAS-2008-Perdrix #abstract interpretation #analysis #quantum
Quantum Entanglement Analysis Based on Abstract Interpretation (SP), pp. 270–282.
SAS-2008-KiddLR #reduction
Language Strength Reduction (NK, AL, TWR), pp. 283–298.
SAS-2008-SeidlFP #equation #polynomial
Analysing All Polynomial Equations in ℤ₂ᵂ (HS, AF, MP), pp. 299–314.
SAS-2008-Simon #control flow
Splitting the Control Flow with Boolean Flags (AS), pp. 315–331.
SAS-2008-PerryW #control flow #fault #reasoning
Reasoning about Control Flow in the Presence of Transient Faults (FP, DW), pp. 332–346.
SAS-2008-MidtgaardJ #abstract interpretation #analysis #approach #control flow
A Calculational Approach to Control-Flow Analysis by Abstract Interpretation (JM, TPJ), pp. 347–362.
SAS-2008-ManevichLSRB #analysis #composition #concurrent
Heap Decomposition for Concurrent Shape Analysis (RM, TLA, MS, GR, JB), pp. 363–377.

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.