Pierre Crégut

11 papers B 2Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
2021 B conf
Developing and certifying Datalog optimizations in coq/mathcomp.
CPP
Pierre-Léo Bégay, Pierre Crégut, Jean-François Monin
2007 — conf
Extracting Control from Data: User Interfaces of MIDP Applications.
TGC
Pierre Crégut
2007 J jnl
Strongly reducing variants of the Krivine abstract machine.
High. Order Symb. Comput.
Pierre Crégut
2007 — conf
The MOBIUS Proof Carrying Code Infrastructure.
FMCO
Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas P. Jensen, David Pichardie
2006 — conf
MOBIUS: Mobility, Ubiquity, Security.
TGC
Gilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Peter Müller, Erik Poll, Germán Puebla, Ian Stark, Eric Vétillard
2005 — conf
Improving the Security of Downloadable Java Applications With Static Analysis.
Bytecode@ETAPS
Pierre Crégut, Cuihtlauac Alvarado
1999 J jnl
Progress Properties for Empty UNITY Programs.
Inf. Process. Lett.
Pierre Crégut, Barbara Heyd
1996 — conf
A Modular Coding of UNITY in COQ.
TPHOLs
Barbara Heyd, Pierre Crégut
1996 B conf
A Protocol for Supporting the ABT/DT Capability.
ICNP
Pierre Crégut, Fabrice Guillemin, Barbara Heyd
1991 — conf
Interprétation abstraite pour améliorer la représentation des environnements dans les langages fonctionnels.
JTASPEFT/WSA
Pierre Crégut
1990 — conf
An Abstract Machine for Lambda-Terms Normalization.
LISP and Functional Programming
Pierre Crégut