Stéphane Kaplan

According to our database, Stéphane Kaplan authored at least 20 papers between 1984 and 1991.

Collaborative distances:

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

1991

Rewrite, Rewrite, Rewrite, Rewrite, Rewrite, . . .

Nachum Dershowitz, Stéphane Kaplan, David A. Plaisted

Theor. Comput. Sci., 1991

1990

Mixing Abstract and Concrete Modules: Specification, Development and Prototyping.

Christine Choppy, Stéphane Kaplan

Proceedings of the 12th International Conference on Software Engineering, 1990

FPL: Functional Plus Logic Programming: An Integration of the FP and Prolog Languages.

N. Lichtenstein, Stéphane Kaplan

Proceedings of the Conditional and Typed Rewriting Systems, 1990

1989

Complexity Analysis of Term-Rewriting Systems.

Christine Choppy, Stéphane Kaplan, Michèle Soria

Theor. Comput. Sci., 1989

Abstract Rewriting with Concrete Operations.

Stéphane Kaplan, Christine Choppy

Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

Rewrite, Rewrite, Rewrite, Rewrite, Rewrite.

Nachum Dershowitz, Stéphane Kaplan

Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989

Infinite Normal Forms (Preliminary Version).

Nachum Dershowitz, Stéphane Kaplan, David A. Plaisted

Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989

1988

Rewriting with a Nondeterministic Choice Operator.

Stéphane Kaplan

Theor. Comput. Sci., 1988

Positive/Negative Conditional Rewriting.

Stéphane Kaplan

Proceedings of the Mathematical Foundations of Computer Science 1988, 1988

Algebraic and Operational Semantics of Positive/Negative Conditional Algebraic Specification.

Stéphane Kaplan

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1988

1987

Simplifying Conditional Term Rewriting Systems: Unification, Termination and Confluence.

Stéphane Kaplan

J. Symb. Comput., 1987

Asspegique: An Integrated Specification Environment.

Michel Bidoit, Francis Capy, Christine Choppy, M.-A. Choquer, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin

Proceedings of the STACS 87, 1987

A Compiler for Conditional Term Rewriting Systems.

Stéphane Kaplan

Proceedings of the Rewriting Techniques and Applications, 2nd International Conference, 1987

Algorithmic Complexity of Term Rewriting Systems.

Christine Choppy, Stéphane Kaplan, Michèle Soria

Proceedings of the Rewriting Techniques and Applications, 2nd International Conference, 1987

ASSPEGIQUE: An Integrated Specification Environment.

Michel Bidoit, Francis Capy, Christine Choppy, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin

Proceedings of the Conditional Term Rewriting Systems, 1987

1986

On the decidability of quasi-reducibility.

Stéphane Kaplan, Marianne Choquer

Bull. EATCS, 1986

Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs.

Stéphane Kaplan

Proceedings of the ESOP 86, 1986

1985

A Lisp Compiler for FP Language and Its Proof via Algebraic Semantics.

Christine Choppy, G. Guiho, Stéphane Kaplan

Proceedings of the Mathematical Foundations of Software Development, 1985

1984

Conditional Rewrite Rules.

Stéphane Kaplan

Theor. Comput. Sci., 1984

Fair Conditional Term Rewriting Systems: Unification, Termination, and Confluence.

Stéphane Kaplan

Proceedings of the Recent Trends in Data Type Specification, 1984