On the formal specification of recursive functions

In Collections: Electronic Theses & Dissertations

Copyright Status: In Copyright

Material Type: Theses

Authors: Galsterer, Maureen Green

Date Published: 1995

Subjects: Computer programs--Correctness
Recursive functions

Program of Study: Computer Science

Degree Level: Doctoral

Language: English

Pages: vii, 118 pages

Permalink: https://doi.org/doi:10.25335/8ar4-3a05

Full text