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

Hanne Riis Nielson, Gilberto Filé
Proceedings of the 14th International Static Analysis Symposium
SAS, 2007.

PLT
DBLP
Scholar
Full names Links ISxN
@proceedings{SAS-2007,
	address       = "Kongens Lyngby, Denmark",
	editor        = "Hanne Riis Nielson and Gilberto Filé",
	isbn          = "978-3-540-74060-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 14th International Static Analysis Symposium}",
	volume        = 4634,
	year          = 2007,
}

Contents (28 items)

SAS-2007-Tip #constraints #refactoring #using
Refactoring Using Type Constraints (FT), pp. 1–17.
SAS-2007-Mycroft #analysis #design #evolution #hardware #motivation #programming language
Programming Language Design and Analysis Motivated by Hardware Evolution (AM), pp. 18–33.
SAS-2007-ChenWWKC #aspect-oriented #compilation #functional
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages (KC, SCW, MW, SCK, CHC), pp. 34–51.
SAS-2007-GallJ #automaton #infinity #representation #verification
Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification (TLG, BJ), pp. 52–68.
SAS-2007-ShohamG #abstraction #composition #verification
Compositional Verification and 3-Valued Abstractions Join Forces (SS, OG), pp. 69–86.
SAS-2007-Brotherston #induction #logic #reasoning
Formalised Inductive Reasoning in the Logic of Bunched Implications (JB), pp. 87–103.
SAS-2007-Monniaux #abstraction #source code
Optimal Abstraction on Real-Valued Programs (DM), pp. 104–120.
SAS-2007-SimonK #integer
Taming the Wrapping of Integer Arithmetic (AS, AK), pp. 121–136.
SAS-2007-GoubaultP #approximate
Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic (EG, SP), pp. 137–152.
SAS-2007-NandivadaPP #evaluation #framework #verification
A Framework for End-to-End Verification and Evaluation of Register Allocators (VKN, FMQP, JP), pp. 153–169.
SAS-2007-WeiMZC #algorithm #decompiler #identification
A New Algorithm for Identifying Loops in Decompilation (TW, JM, WZ, YC), pp. 170–183.
SAS-2007-LerouxS #analysis #data flow
Accelerated Data-Flow Analysis (JL, GS), pp. 184–199.
SAS-2007-LalKRT #fault
Abstract Error Projection (AL, NK, TWR, TT), pp. 200–217.
SAS-2007-MalkisPR #precise #thread #verification
Precise Thread-Modular Verification (AM, AP, AR), pp. 218–232.
SAS-2007-CalcagnoPV #composition #concurrent #fine-grained #safety
Modular Safety Checking for Fine-Grained Concurrency (CC, MJP, VV), pp. 233–248.
SAS-2007-BauerW #abstraction #communication #static analysis
Static Analysis of Dynamic Communication Systems by Partner Abstraction (JB, RW), pp. 249–264.
SAS-2007-HardekopfL #analysis #equivalence #pointer
Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis (BH, CL), pp. 265–280.
SAS-2007-KamilY #analysis #distributed #pointer #source code
Hierarchical Pointer Analysis for Distributed Programs (AK, KAY), pp. 281–297.
SAS-2007-Martel #semantics
Semantics-Based Transformation of Arithmetic Expressions (MM), pp. 298–314.
SAS-2007-BanterleG #abstract domain #hardware #implementation #performance
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware (FB, RG), pp. 315–332.
SAS-2007-CousotGR #abstraction
Fixpoint-Guided Abstraction Refinements (PC, PG, JFR), pp. 333–348.
SAS-2007-GopanR #static analysis
Guided Static Analysis (DG, TWR), pp. 349–365.
SAS-2007-SankaranarayananIG #program analysis #using
Program Analysis Using Symbolic Ranges (SS, FI, AG), pp. 366–383.
SAS-2007-ChangRN #analysis #invariant
Shape Analysis with Structural Invariant Checkers (BYEC, XR, GCN), pp. 384–401.
SAS-2007-CalcagnoDOY #analysis
Footprint Analysis: A Shape Analysis That Discovers Preconditions (CC, DD, PWO, HY), pp. 402–418.
SAS-2007-MagillBCC #analysis
Arithmetic Strengthening for Shape Analysis (SM, JB, EMC, BC), pp. 419–436.
SAS-2007-DelmasS #industrial #named #research
Astrée: From Research to Industry (DD, JS), pp. 437–451.
SAS-2007-PayetS #analysis #bytecode #java
Magic-Sets Transformation for the Analysis of Java Bytecode (ÉP, FS), pp. 452–467.

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.