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 × 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.
The Global Storage Needs of a Subcomputation (JCR, RS), pp. 148–157.
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.