Dartmouth Digital Library Collections
Dartmouth Digital Library Collections
Dartmouth Dissertations
hoffman1982 1 hoffman1982 1 |
Previous | 1 of 204 | Next |
|
small (250x250 max)
medium (500x500 max)
large ( > 500x500)
Full Resolution
All (PDF)
|
This page
All
Subset
|
SOUND AND COMPLETE AJIIOMATICS
FOR TWO PROGRAMMING LANGUAGES WITH PARALLELISM
A Thesis
Submitted to the Faculty
in Partial Fulfillment of tha Requirements for the
Degree* of Doctor ox Philosophy
by
Woodward Crim Hoffman
DARTMOUTH COLLEGE
llai.over, New Hampshire
June, 1^82
| Call No. | Ph.D. 1982 |
| Author | Hoffman, Woodward Crim |
| Title | Sound and complete axiomatics for two programming languages with parallelism. |
| Date | 1982 |
| Description | 1 online resource (v, 164 leaves) : illustrations |
| Format | application/pdf |
| Subject | Computer programs -- Verification. ; Recursive programming. |
| College | Dartmouth College. |
| Issuing Body | Dartmouth Dissertations are made available through the Dartmouth Digital Library. |
| Degree | Thesis (Ph.D)--Dartmouth College. |
| Copyright | In Copyright. This material is protected by copyright and/or related rights. You are free to use this material in any way that is permitted by copyright law that applies to your use. For other uses, you need to obtain permission from the rights-holder(s). http://rightsstatements.org/page/InC/1.0/ |
| DOI | https://doi.org/10.1349/ddlp.3148 |
| Title | hoffman1982 1 |
| Full Text | SOUND AND COMPLETE AJIIOMATICS FOR TWO PROGRAMMING LANGUAGES WITH PARALLELISM A Thesis Submitted to the Faculty in Partial Fulfillment of tha Requirements for the Degree* of Doctor ox Philosophy by Woodward Crim Hoffman DARTMOUTH COLLEGE llai.over, New Hampshire June, 1^82 |
| All | |
|
Pages Enter page numbers or page ranges separated by commas. For example: 1,3,5-12 |
|
|
|
|
| C |
| D |
| E |
| H |
| M |
| N |
| P |
| S |
| T |
| V |
|
|
