Pierre Crégut

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2007
j3		Pierre Crégut: Strongly reducing variants of the Krivine abstract machine. Higher-Order and Symbolic Computation 20(3): 209-230 (2007)
c7		Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas P. Jensen, David Pichardie: The MOBIUS Proof Carrying Code Infrastructure. FMCO 2007: 1-24
c6		Pierre Crégut: Extracting Control from Data: User Interfaces of MIDP Applications. TGC 2007: 41-56
	2006
c5		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: 10-29
	2005
j2		Pierre Crégut, Cuihtlauac Alvarado: Improving the Security of Downloadable Java Applications With Static Analysis. Electr. Notes Theor. Comput. Sci. 141(1): 129-144 (2005)
	1999
j1		Pierre Crégut, Barbara Heyd: Progress Properties for Empty UNITY Programs. Inf. Process. Lett. 69(3): 107-109 (1999)
	1996
c4		Pierre Crégut, Fabrice Guillemin, Barbara Heyd: A Protocol for Supporting the ABT/DT Capability. ICNP 1996: 218-225
c3		Barbara Heyd, Pierre Crégut: A Modular Coding of UNITY in COQ. TPHOLs 1996: 251-266
	1991
c2		Pierre Crégut: Interprétation abstraite pour améliorer la représentation des environnements dans les langages fonctionnels. JTASPEFT/WSA 1991: 37-43
	1990
c1		Pierre Crégut: An Abstract Machine for Lambda-Terms Normalization. LISP and Functional Programming 1990: 333-340

Coauthor Index

Last update Sat May 18 17:07:14 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page