Consistent and Complementary Formal Theories of the Semantics of Programming Languages
| Egile Nagusiak: | , |
|---|---|
| Formatua: | Journal article |
| Argitaratua: |
1974
|
| _version_ | 1826296972146900992 |
|---|---|
| author | Hoare, C Lauer, P |
| author_facet | Hoare, C Lauer, P |
| author_sort | Hoare, C |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T04:24:31Z |
| format | Journal article |
| id | oxford-uuid:cc2a21cd-c83e-48db-8229-92ed2f43f6f3 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T04:24:31Z |
| publishDate | 1974 |
| record_format | dspace |
| spelling | oxford-uuid:cc2a21cd-c83e-48db-8229-92ed2f43f6f32022-03-27T07:19:54ZConsistent and Complementary Formal Theories of the Semantics of Programming LanguagesJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:cc2a21cd-c83e-48db-8229-92ed2f43f6f3Department of Computer Science1974Hoare, CLauer, P |
| spellingShingle | Hoare, C Lauer, P Consistent and Complementary Formal Theories of the Semantics of Programming Languages |
| title | Consistent and Complementary Formal Theories of the Semantics of Programming Languages |
| title_full | Consistent and Complementary Formal Theories of the Semantics of Programming Languages |
| title_fullStr | Consistent and Complementary Formal Theories of the Semantics of Programming Languages |
| title_full_unstemmed | Consistent and Complementary Formal Theories of the Semantics of Programming Languages |
| title_short | Consistent and Complementary Formal Theories of the Semantics of Programming Languages |
| title_sort | consistent and complementary formal theories of the semantics of programming languages |
| work_keys_str_mv | AT hoarec consistentandcomplementaryformaltheoriesofthesemanticsofprogramminglanguages AT lauerp consistentandcomplementaryformaltheoriesofthesemanticsofprogramminglanguages |