BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Denmark
2 × USA
Collaborated with:
R.Sethi J.Vuillemin ∅
Talks about:
recurs (2) transduct (1) subcomput (1) strategi (1) properti (1) function (1) unbound (1) program (1) equival (1) between (1)

Person: Jean-Claude Raoult

DBLP DBLP: Raoult:Jean=Claude

Contributed to:

RTA 19931993
POPL 19841984
ICALP 19821982
ICALP 19801980
STOC 19781978

Wrote 5 papers:

RTA-1993-Raoult #recursion
Recursively Defined Tree Transductions (JCR), pp. 343–357.
POPL-1984-RaoultS
The Global Storage Needs of a Subcomputation (JCR, RS), pp. 148–157.
ICALP-1982-RaoultS
Properties of a Notation for Combining Functions (JCR, RS), pp. 429–441.
ICALP-1980-RaoultV #bound #semiparsing
Optimal Unbounded Search Strategies (JCR, JV), pp. 512–530.
STOC-1978-RaoultV #equivalence #recursion #semantics #source code
Operational and Semantic Equivalence between Recursive Programs (JCR, JV), pp. 75–85.
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.