Gilles Kahn

Publication Activity (10 Years)

Years Active: 1971-1995
Publications (10 Years): 0

Publications

Yann Coscoy, Gilles Kahn, Laurent Théry
Extracting Text from Proofs. TLCA (1995)
Yves Bertot, Gilles Kahn, Laurent Théry
Proof by Pointing. TACS (1994)
Gilles Kahn
Preface Inf. Comput. 110 (2) (1994)
Gilles Kahn, Gordon D. Plotkin
Concrete Domains. Theor. Comput. Sci. 121 (1&2) (1993)
Laurent Théry, Yves Bertot, Gilles Kahn
Real theorem provers deserve real user-interfaces. SDE (1992)
Dominique Clément, Janet Incerpi, Gilles Kahn
CENTAUR: Towards a "Software Tool Box" for Programming Environments. SEE (1989)
Patrick Borras, Dominique Clément, Th. Despeyroux, Janet Incerpi, Gilles Kahn, Bernard Lang, V. Pascual
CENTAUR: The System. Software Development Environments (SDE) (1988)
Gilles Kahn
Natural Semantics. STACS (1987)
Dominique Clément, Joëlle Despeyroux, Th. Despeyroux, Gilles Kahn
A Simple Applicative Language: Mini-ML. LISP and Functional Programming (1986)
Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang, Bertrand Melese
Documents Structure and Modularity in Mentor. Software Development Environments (SDE) (1984)
Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang, Bertrand Melese, Elham Morcos
Outline of a Tool for Document Manipulation. IFIP Congress (1983)
Gilles Kahn, Bernard Lang, Bertrand Melese, Elham Morcos
Metal: A Formalism to Specify Formalisms. Sci. Comput. Program. 3 (2) (1983)
Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang
On the formal definition of ADA. Semantics-Directed Compiler Generation (1980)
Gilles Kahn, David B. MacQueen
Coroutines and Networks of Parallel Processes. IFIP Congress (1977)
Bruno Courcelle, Gilles Kahn, Jean Vuillemin
Algorithmes d'equivalence et de reduction a des expressions minimales dans une classe d'equations recursives simples. ICALP (1974)
Gilles Kahn
The Semantics of a Simple Language for Parallel Programming. IFIP Congress (1974)
Gilles Kahn
An Approach to System Correctness. SOSP (1971)