Daniel Le Métayer

From MaRDI portal
Revision as of 09:56, 24 September 2023 by Import230924090903 (talk | contribs) (Created automatically from import230924090903)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:751837

Available identifiers

zbMath Open le-metayer.danielMaRDI QIDQ751837

List of research outcomes





PublicationDate of PublicationType
Compile-time detection of information flow in sequential programs2021-12-20Paper
A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence2011-05-12Paper
IT Security Analysis Best Practices and Formal Approaches2009-10-22Paper
https://portal.mardi4nfdi.de/entity/Q44740042004-08-04Paper
https://portal.mardi4nfdi.de/entity/Q45320812002-05-28Paper
https://portal.mardi4nfdi.de/entity/Q27717382002-02-18Paper
https://portal.mardi4nfdi.de/entity/Q27239322001-07-08Paper
Dynamic slicing: a generic analysis based on a natural semantics format2000-03-16Paper
Structured gamma2000-01-04Paper
Refining multiset transformers1998-08-13Paper
Proving the correctness of compiler optimisations based on a global analysis: a study of strictness analysis†1996-06-09Paper
https://portal.mardi4nfdi.de/entity/Q42816111994-03-10Paper
Continuation-based compilation of functional languages for parallel machines1994-02-16Paper
https://portal.mardi4nfdi.de/entity/Q39995761992-09-17Paper
The gamma model and its discipline of programming1990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37890551988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37906201988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38305181988-01-01Paper

Research outcomes over time

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:751837&oldid=5972969"
Powered by MediaWiki