Author: "Vuillemin, Jean" / Publisher: acm press - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Vuillemin, Jean"' showing total 4 results

Start Over Author "Vuillemin, Jean" Publisher acm press

4 results on '"Vuillemin, Jean"'

1. Operational and semantic equivalence between recursive programs.

Author: Raoult, Jean-Claude, primary and Vuillemin, Jean, additional
Published: 1978
Full Text: View/download PDF

2. A generalization and proof of the Aanderaa-Rosenberg conjecture

Author: Rivest, Ronald L., primary and Vuillemin, Jean, additional
Published: 1975
Full Text: View/download PDF

3. Inductive methods for proving properties of programs

Author: Manna, Zohar, primary, Ness, Stephen, additional, and Vuillemin, Jean, additional
Published: 1972
Full Text: View/download PDF

4. Correct and optimal implementations of recursion in a simple programming language

Author: Vuillemin, Jean, primary
Published: 1973
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results