DAEDALUS |
Public documents produced by the DAEDALUS project
|
Cleanness
Checking of String Manipulations in C Programs via Integer
Analysis
SAS'01, Paris,
LNCS 2126 (P. Cousot, Ed.),
pp. 194-212, © Springer, July 2001.
Abstract
Interpretation-Based Static Analysis of Mobile Ambients
SAS'01, Paris, LNCS 2126 (P. Cousot, Ed.), pp. 413—431, © Springer, July 2001.
Static analyses of
floating-point operations
SAS'01, Paris, LNCS 2126 (P. Cousot, Ed.),
pp. 233—258, © Springer, July 2001.
(.ps.gz)
Synchronized Tree
Languages Revisited and New Applications
in Furio Honsell,
Marino Miculan (Eds.): Foundations of Software Science and Computation
Structures, 4th International Conference, FOSSACS 2001 Held as Part of the
Joint European Conferences on Theory and Practice of Software, ETAPS 2001
Genova, Italy, April 2—6, 2001, Proceedings. LNCS 2030, ©
Springer-Verlag, 214—229.
Program
Analysis for Implicit Computational Complexity
in O. Danvy
& A. Filinski (Eds.): Proceedings of the Second Symposium PADO'2001,
Programs as Data Objects, Århus, Denmark, LNCS 2053, pp. 1—1, ©
Springer-Verlag, May 2001.
Program
Termination Analysis by Size-Change Graphs (abstract)
in R.
Gore, A. Leitsch & T. Nipkow (Eds.): Automated Reasoning, Proceedings
of IJCAR 2001, Siena, Italy, LNAI 2083, pp. 1—4, ©
Springer-Verlag, June 2001.
Combining backward
and forward analyses of temporal properties
Proceedings of the
Second Symposium PADO'2001, Programs as Data Objects, Århus, Denmark,
LNCS 2053 (O. Danvy &
A. Filinski, Eds.), pp. 103—116, © Springer, May 2001.
(.ps.gz)
A New Numerical Abstract
Domain Based on Difference-Bound Matrices
Proceedings of the
Second Symposium PADO'2001, Programs as Data Objects, Århus, Denmark,
LNCS 2053 (O. Danvy &
A. Filinski, Eds.), pp. 155—172, © Springer, May 2001.
An Abstract Analysis of
the Probabilistic Terminaison of Programs
SAS'01, Paris, LNCS 2126 (P. Cousot, Ed.),
pp. 111—126, ©
Springer, July 2001.
Interprocedural Shape Analysis for Recursive Programs.
In Compiler Construction, 10th International Conference (CC 2001),
Reinhard Wilhelm (Ed.): Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2—6, 2001,
Proceedings, pp. 133—149. LNCS 2027©
Springer 2001.
On optimal slicing of Parallel Programs
Thirty-Third Annual ACM Symposium
on Theory of Computing (STOC), Crete, Greece, July 6—8, 2001.
(.ps.gz)
Generating Decision Trees for Decoding Binaries
Proceedings of the ACM
SIGPLAN Workshop on Language, Compiler and Tools for Embedded Systems,
June 2001, Snowbird, Utah, USA, © ACM.
(.ps.gz)
Dernière mise à jour / Last modified : Wednesday, 04-Jun-2003 12:39:57 CEST