Gilles Kahn

According to our database, Gilles Kahn authored at least 17 papers between 1971 and 1995.

Collaborative distances:

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

1995

Extracting Text from Proofs.

Yann Coscoy, Gilles Kahn, Laurent Théry

Proceedings of the Typed Lambda Calculi and Applications, 1995

1994

Preface

Gilles Kahn

Inf. Comput., May, 1994

Proof by Pointing.

Yves Bertot, Gilles Kahn, Laurent Théry

Proceedings of the Theoretical Aspects of Computer Software, 1994

1993

Concrete Domains.

Gilles Kahn, Gordon D. Plotkin

Theor. Comput. Sci., 1993

1992

Real theorem provers deserve real user-interfaces.

Laurent Théry, Yves Bertot, Gilles Kahn

Proceedings of the 5th ACM SIGSOFT Symposium on Software Development Environments, 1992

1989

CENTAUR: Towards a "Software Tool Box" for Programming Environments.

Dominique Clément, Janet Incerpi, Gilles Kahn

Proceedings of the Software Engineering Environments, 1989

1988

CENTAUR: The System.

Patrick Borras, Dominique Clément, Th. Despeyroux, Janet Incerpi, Gilles Kahn, Bernard Lang, V. Pascual

Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988

1987

Natural Semantics.

Gilles Kahn

Proceedings of the STACS 87, 1987

1986

A Simple Applicative Language: Mini-ML.

Dominique Clément, Joëlle Despeyroux, Th. Despeyroux, Gilles Kahn

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

1984

Documents Structure and Modularity in Mentor.

Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang, Bertrand Melese

Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1984

1983

Metal: A Formalism to Specify Formalisms.

Gilles Kahn, Bernard Lang, Bertrand Melese, Elham Morcos

Sci. Comput. Program., 1983

Outline of a Tool for Document Manipulation.

Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang, Bertrand Melese, Elham Morcos

Proceedings of the Information Processing 83, 1983

1980

On the formal definition of ADA.

Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang

Proceedings of the Semantics-Directed Compiler Generation, 1980

1977

Coroutines and Networks of Parallel Processes.

Gilles Kahn, David B. MacQueen

Proceedings of the Information Processing, 1977

1974

The Semantics of a Simple Language for Parallel Programming.

Gilles Kahn

Proceedings of the Information Processing, 1974

Algorithmes d'equivalence et de reduction a des expressions minimales dans une classe d'equations recursives simples.

Bruno Courcelle, Gilles Kahn, Jean Vuillemin

Proceedings of the Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29, 1974

1971

An Approach to System Correctness.

Gilles Kahn

Proceedings of the Third Symposium on Operating System Principles, 1971