BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kaplan:St=eacute=phane

Contributed to:

ICSE 19901990
ICALP 19891989
POPL 19891989
RTA 19891989
RTA 19871987
ESOP 19861986
TAPSOFT, Vol.1: CAAP 19851985

Wrote 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.
Rewrite, Rewrite, Rewrite, Rewrite, Rewrite (ND, SK), pp. 250–259.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.