DAEDALUS |
Public documents produced by the DAEDALUS project
|
An incremental unique
representation for regular trees.
Nordic Journal of Computing,
7(4):290—311, 2000.
Constraint-Based
Inter-Procedural Analysis of Parallel Programs.
Nordic Journal of Computing
(NJC) 7(4):375—400, 2000.
http://WWW.Informatik.Uni-Trier.DE/~seidl/papers/seidl-steffen.ps.gz
Extracting safe and precise Control Flow from Binaries
The 7th International Conference on Real-Time Computing Systems and Applications
(RTCSA'2000), December 12-14, 2000, Cheju Island, South Korea.
(.ps.gz)
Dernière mise à jour / Last modified : Wednesday, 04-Jun-2003 12:39:57 CEST