A Reflective Functional Language for Hardware Design and Theorem Proving
| Автори: | , , |
|---|---|
| Формат: | Journal article |
| Опубліковано: |
2006
|
| _version_ | 1826304434790989824 |
|---|---|
| author | Grundy, J Melham, T O'Leary, J |
| author_facet | Grundy, J Melham, T O'Leary, J |
| author_sort | Grundy, J |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T06:17:45Z |
| format | Journal article |
| id | oxford-uuid:f1ac5b6b-3c8d-4c84-985d-1138bc68151c |
| institution | University of Oxford |
| last_indexed | 2024-03-07T06:17:45Z |
| publishDate | 2006 |
| record_format | dspace |
| spelling | oxford-uuid:f1ac5b6b-3c8d-4c84-985d-1138bc68151c2022-03-27T11:57:44ZA Reflective Functional Language for Hardware Design and Theorem ProvingJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:f1ac5b6b-3c8d-4c84-985d-1138bc68151cDepartment of Computer Science2006Grundy, JMelham, TO'Leary, J |
| spellingShingle | Grundy, J Melham, T O'Leary, J A Reflective Functional Language for Hardware Design and Theorem Proving |
| title | A Reflective Functional Language for Hardware Design and Theorem Proving |
| title_full | A Reflective Functional Language for Hardware Design and Theorem Proving |
| title_fullStr | A Reflective Functional Language for Hardware Design and Theorem Proving |
| title_full_unstemmed | A Reflective Functional Language for Hardware Design and Theorem Proving |
| title_short | A Reflective Functional Language for Hardware Design and Theorem Proving |
| title_sort | reflective functional language for hardware design and theorem proving |
| work_keys_str_mv | AT grundyj areflectivefunctionallanguageforhardwaredesignandtheoremproving AT melhamt areflectivefunctionallanguageforhardwaredesignandtheoremproving AT olearyj areflectivefunctionallanguageforhardwaredesignandtheoremproving AT grundyj reflectivefunctionallanguageforhardwaredesignandtheoremproving AT melhamt reflectivefunctionallanguageforhardwaredesignandtheoremproving AT olearyj reflectivefunctionallanguageforhardwaredesignandtheoremproving |