Daniel Le Métayer

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Lecture Notes in Computer Science	2011-05-12	Paper
IT Security Analysis Best Practices and Formal Approaches Foundations of Security Analysis and Design IV	2009-10-22	Paper
scientific article; zbMATH DE number 2080934 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 1746450 (Why is no real title available?)	2002-05-28	Paper
scientific article; zbMATH DE number 1706328 (Why is no real title available?)	2002-02-18	Paper
scientific article; zbMATH DE number 1615262 (Why is no real title available?)	2001-07-08	Paper
Dynamic slicing: a generic analysis based on a natural semantics format Journal Of Logic And Computation	2000-03-16	Paper
Structured gamma Science of Computer Programming	2000-01-04	Paper
Refining multiset transformers Theoretical Computer Science	1998-08-13	Paper
Proving the correctness of compiler optimisations based on a global analysis: a study of strictness analysis^† Journal of Functional Programming	1996-06-09	Paper
scientific article; zbMATH DE number 512903 (Why is no real title available?)	1994-03-10	Paper
Continuation-based compilation of functional languages for parallel machines Mathematical Structures in Computer Science	1994-02-16	Paper
scientific article; zbMATH DE number 49798 (Why is no real title available?)	1992-09-17	Paper
The gamma model and its discipline of programming Science of Computer Programming	1990-01-01	Paper
scientific article; zbMATH DE number 4106261 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4052998 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4055010 (Why is no real title available?)	1988-01-01	Paper

Research outcomes over time

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