Daniel Le Métayer

Available identifiers

Publication	Date of Publication	Type
Compile-time detection of information flow in sequential programs	2021-12-20	Paper
A formal framework for specifying and analyzing logs as electronic evidence	2011-05-12	Paper
IT Security Analysis Best Practices and Formal Approaches	2009-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q4474004	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4532081	2002-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q2771738	2002-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q2723932	2001-07-08	Paper
Dynamic slicing: a generic analysis based on a natural semantics format	2000-03-16	Paper
Structured gamma	2000-01-04	Paper
Refining multiset transformers	1998-08-13	Paper
Proving the correctness of compiler optimisations based on a global analysis: a study of strictness analysis^†	1996-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4281611	1994-03-10	Paper
Continuation-based compilation of functional languages for parallel machines	1994-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q3999576	1992-09-17	Paper
The gamma model and its discipline of programming	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3830518	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3789055	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3790620	1988-01-01	Paper

This page was built for person: Daniel Le Métayer