a thesis in the record
A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language
1993 · California Institute of Technology · master's · Computer Science
Author
Supervisor
File and licence
Cite this page
The record changes as sources are read again, so a citation says when the page was read.
bibtex
@misc{academicancestry_caltechthesis_caltechthesis_6919,
author = {{Academic Ancestry}},
title = {{A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language: record of a thesis}},
year = {2026},
url = {https://academicancestry.org/thesis/caltechthesis/caltechthesis%3A6919},
note = {read on 2026-10-23}
}apa
Academic Ancestry. (2026, October 23). A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language: Record of a thesis [Read on 2026-10-23]. https://academicancestry.org/thesis/caltechthesis/caltechthesis%3A6919