14. SAS 2007:
Kongens Lyngby, Denmark Hanne Riis Nielson , Gilberto Filé (Eds.):
Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings.
Lecture Notes in Computer Science 4634 Springer 2007, ISBN 978-3-540-74060-5 Invited Papers
export record as
dblp key:
Frank Tip :
Refactoring Using Type Constraints.
1-17
export record as
dblp key:
Alan Mycroft :
Programming Language Design and Analysis Motivated by Hardware Evolution.
18-33
Contributed Papers
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
James Brotherston :
Formalised Inductive Reasoning in the Logic of Bunched Implications.
87-103
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Eric Goubault ,
Sylvie Putot :
Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic.
137-152
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Matthieu Martel :
Semantics-Based Transformation of Arithmetic Expressions.
298-314
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/sas/SankaranarayananIG07 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
