Travelled to:1 × Germany
1 × Italy
2 × France
2 × USA
Collaborated with:C.Choppy ∅ N.Dershowitz D.A.Plaisted M.Soria G.Guiho
Talks about:rewrit (9) abstract (2) concret (2) algebra (2) system (2) compil (2) proof (2) term (2) oper (2) nondeterminist (1)
Person: Stéphane Kaplan
DBLP: Kaplan:St=eacute=phane
Contributed to:
1990
1989
1989
19891987
1986
1985Wrote 8 papers:
- ICSE-1990-ChoppyK #development #prototype #specification
- Mixing Abstract and Concrete Modules: Specification, Development and Prototyping (CC, SK), pp. 173–184.
- ICALP-1989-DershowitzKP #infinity #normalisation
- Infinite Normal Forms (ND, SK, DAP), pp. 249–262.
- POPL-1989-DershowitzK
- Rewrite, Rewrite, Rewrite, Rewrite, Rewrite (ND, SK), pp. 250–259.
- RTA-1989-KaplanC
- Abstract Rewriting with Concrete Operations (SK, CC), pp. 178–186.
- RTA-1987-ChoppyKS #algorithm #complexity #term rewriting
- Algorithmic Complexity of Term Rewriting Systems (CC, SK, MS), pp. 256–273.
- RTA-1987-Kaplan #compilation #term rewriting
- A Compiler for Conditional Term Rewriting Systems (SK), pp. 25–41.
- ESOP-1986-Kaplan #algebra #nondeterminism #proving
- Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs (SK), pp. 351–374.
- CAAP-1985-ChoppyGK #algebra #compilation #lisp #proving #semantics
- A Lisp Compiler for FP Language and Its Proof via Algebraic Semantics (CC, GG, SK), pp. 403–415.