Pierre Crégut

According to our database, Pierre Crégut authored at least 11 papers between 1990 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Developing and certifying Datalog optimizations in coq/mathcomp.

Pierre-Léo Bégay, Pierre Crégut, Jean-François Monin

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2007

Strongly reducing variants of the Krivine abstract machine.

Pierre Crégut

High. Order Symb. Comput., 2007

Extracting Control from Data: User Interfaces of MIDP Applications.

Pierre Crégut

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

The MOBIUS Proof Carrying Code Infrastructure.

Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas P. Jensen, David Pichardie

Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

2006

MOBIUS: Mobility, Ubiquity, Security.

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

Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

2005

Improving the Security of Downloadable Java Applications With Static Analysis.

Pierre Crégut, Cuihtlauac Alvarado

Proceedings of the First Workshop on Bytecode Semantics, 2005

1999

Progress Properties for Empty UNITY Programs.

Pierre Crégut, Barbara Heyd

Inf. Process. Lett., 1999

1996

A Modular Coding of UNITY in COQ.

Barbara Heyd, Pierre Crégut

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

A Protocol for Supporting the ABT/DT Capability.

Pierre Crégut, Fabrice Guillemin, Barbara Heyd

Proceedings of the 1996 International Conference on Network Protocols, 1996

1991

Interprétation abstraite pour améliorer la représentation des environnements dans les langages fonctionnels.

Pierre Crégut

Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991

1990

An Abstract Machine for Lambda-Terms Normalization.

Pierre Crégut

Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 1990