Daniel Le Métayer

Available identifiers

zbMath Open le-metayer.danielMaRDI QIDQ751837

List of research outcomes

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/Q3789055	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3790620	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3830518	1988-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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