Publications
2000
Thomas Colcombet, Pascal Fradet
"Enforcing Trace Properties by Program Transformation",
In Conference record of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
January
2000.
Generated on Sat Jan 15 17:22:20 MET 2000
by colcombe
The generator is entirely written in Haskell
(sources will be available soon)
Copyright ©1998 INRIA-Rennes