Pierre Crégut

Publication Activity (10 Years)

Years Active: 1990-2021
Publications (10 Years): 1

Top Topics

Transitive Closure

Data Integration

Query Answering

Top Venues

Publications

Pierre-Léo Bégay, Pierre Crégut, Jean-François Monin
Developing and certifying Datalog optimizations in coq/mathcomp. CPP (2021)
Pierre Crégut
Strongly reducing variants of the Krivine abstract machine. High. Order Symb. Comput. 20 (3) (2007)
Pierre Crégut
Extracting Control from Data: User Interfaces of MIDP Applications. TGC (2007)
Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas P. Jensen, David Pichardie
The MOBIUS Proof Carrying Code Infrastructure. FMCO (2007)
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
MOBIUS: Mobility, Ubiquity, Security. TGC (2006)
Pierre Crégut, Cuihtlauac Alvarado
Improving the Security of Downloadable Java Applications With Static Analysis. Electron. Notes Theor. Comput. Sci. 141 (1) (2005)
Pierre Crégut, Barbara Heyd
Progress Properties for Empty UNITY Programs. Inf. Process. Lett. 69 (3) (1999)
Pierre Crégut, Fabrice Guillemin, Barbara Heyd
A Protocol for Supporting the ABT/DT Capability. ICNP (1996)
Barbara Heyd, Pierre Crégut
A Modular Coding of UNITY in COQ. TPHOLs (1996)
Pierre Crégut
Interprétation abstraite pour améliorer la représentation des environnements dans les langages fonctionnels. JTASPEFT/WSA (1991)
Pierre Crégut
An Abstract Machine for Lambda-Terms Normalization. LISP and Functional Programming (1990)