DAEDALUS |
Public documents produced by the DAEDALUS project
|
Modular Static Program Analysis (.ps.gz, .pdf.gz).
In
Proceedings of the International
Conference on Compiler Construction, CC 2002,
April 6 - 14, 2002, Grenoble, France.
N. Horspool (Editor). Lecture Notes in
Computer Science 2304,
pp. 159—178. © Springer.
Abstract Interpretation: Theory and Practice
In
Proceedings of the 9th International
SPIN Workshop, Grenoble, France, Lecture Notes in
Computer Science 2318,
Dragan Bosnacki and Stephen Leue (Eds.),
Grenoble, France, April 11-13, 2002, pp. 2-5.
© Springer
Reliable and Precise
WCET Determination for a Real-Life Processor.
Proceedings
of the First International Workshop on Embedded Software, EMSOFT
2001, October, 8th - 10th, 2001, Tahoe City, California, U.S.A.
Thomas A. Henzinger and Christoph M. Kirsch (Eds.), Lecture Notes in Computer
Science 2211,
pp. 469—485. ©
Springer.
Asserting the Precision of Floating-Point Computations: a Simple Abstract Interpreter.
In
Proceedings of the European Symposium on Programming, ESOP'02,
April 6 - 14, 2002, Grenoble, France.
Daniel Le Métayer (Editor). Lecture Notes in
Computer Science 2305,
pp. 209—212. © Springer.
Modular analysis of circuit description language by abstract interpretation: Application to the automatic extraction of circuit shapes. (.ps, .pdf)
In
Proceedings of the Designing Correct Circuits, DCC
2002, ETAPS 2002,
April 6 - 7, 2002, Grenoble, France.
Mary Sheeran and Tom melham (Editors). 14 p.
Proving Correctness of Compiler Optimizations by Temporal Logic.
In Conference Record of the 29th ACM
SIGACT-SIGMOD-SIGART Symposium on Principles of Programming
Languages
Pi-calculus as a rapid prototyping language for performance evaluation (Slides in gzipped Corel format)
In
Proceedings of the Specification,
Analysis and Validation for Emerging Technologies in Computational Logic
(SAVE 2001), ICLP
2001,
November 26 - December 1, 2001, Paphos, Cyprus
Giorgio Delzanno (Editor). 19 p.
Propagation of Roundoff Errors in Finite Precision Computations: a Semantics Approach.
In
Proceedings of the European Symposium on Programming, ESOP'02,
April 6 - 14, 2002, Grenoble, France.
Daniel Le Métayer (Editor). Lecture Notes in
Computer Science 2305,
pp. 194—208. © Springer.
The Octagon Abstract Domain (.ps.gz, .pdf).
In Analysis, Slicing
and Transformation (part of the Working Conference on Reverse
Engineering), pages 310—319, IEEE Press.
October 2001.
© IEEE
Analysis of probabilistic
programs by abstract interpretation.
PhD thesis of
the Universiy of Paris 9 Dauphine, 21 november 2001.
Dernière mise à jour / Last modified : Wednesday, 04-Jun-2003 12:39:58 CEST