A formal system for defining the syntax and semantics of computer languages:
The thesis of this dissertation is that formal definitions of the syntax and semantics of computer languages are needed. This dissertation investigates two candidates for formally defining computer languages: (1) the formalism of canonical systems for defining the syntax of a computer language and i...
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
Cambridge, Mass.
Project MAC, Mass. Inst. of Technology
1969
|
| Subjects: | |
| Summary: | The thesis of this dissertation is that formal definitions of the syntax and semantics of computer languages are needed. This dissertation investigates two candidates for formally defining computer languages: (1) the formalism of canonical systems for defining the syntax of a computer language and its translation into a target language, and (2) the formalisms of the lambda-calculus and extended Markov algorithms as a combined formalism used as the basis of a target language for defining the semantics of a computer language. Formal definitions of the syntax and semantics of SNOBOL/1 and ALGOL/60 are included as examples of the approach. (Author). |
| Item Description: | Kopie, erschienen bei National Techn. Information Service, Springfield, Va. |
| Physical Description: | 203 S. |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021879341 | ||
| 003 | DE-604 | ||
| 005 | 20200914 | ||
| 007 | t | ||
| 008 | 880721s1969 m||| 00||| eng d | ||
| 035 | |a (OCoLC)227540225 | ||
| 035 | |a (DE-599)BVBBV021879341 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 088 | |a MAC-TR-60 | ||
| 100 | 1 | |a Ledgard, Henry |d 1943- |e Verfasser |0 (DE-588)172220300 |4 aut | |
| 245 | 1 | 0 | |a A formal system for defining the syntax and semantics of computer languages |c by Henry Francis Ledgard |
| 264 | 1 | |a Cambridge, Mass. |b Project MAC, Mass. Inst. of Technology |c 1969 | |
| 300 | |a 203 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Kopie, erschienen bei National Techn. Information Service, Springfield, Va. | ||
| 502 | |a Zugl.: Diss., 1969 | ||
| 520 | 3 | |a The thesis of this dissertation is that formal definitions of the syntax and semantics of computer languages are needed. This dissertation investigates two candidates for formally defining computer languages: (1) the formalism of canonical systems for defining the syntax of a computer language and its translation into a target language, and (2) the formalisms of the lambda-calculus and extended Markov algorithms as a combined formalism used as the basis of a target language for defining the semantics of a computer language. Formal definitions of the syntax and semantics of SNOBOL/1 and ALGOL/60 are included as examples of the approach. (Author). | |
| 650 | 7 | |a (Programming languages |2 dtict | |
| 650 | 7 | |a (Semantics |2 dtict | |
| 650 | 7 | |a Algorithms |2 dtict | |
| 650 | 7 | |a Computer Programming and Software |2 scgdst | |
| 650 | 7 | |a Computer Systems |2 scgdst | |
| 650 | 7 | |a Linguistics |2 scgdst | |
| 650 | 7 | |a Multiple operation |2 dtict | |
| 650 | 7 | |a Programming languages) |2 dtict | |
| 650 | 7 | |a Real time |2 dtict | |
| 650 | 7 | |a Syntax) |2 dtict | |
| 650 | 7 | |a Theses |2 dtict | |
| 650 | 7 | |a Time sharing |2 dtict | |
| 650 | 4 | |a Linguistik | |
| 650 | 0 | 7 | |a Syntax |0 (DE-588)4058779-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | 1 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 0 | 2 | |a Syntax |0 (DE-588)4058779-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015094823 | ||
Record in the Search Index
| _version_ | 1804135819392319488 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Ledgard, Henry 1943- |
| author_GND | (DE-588)172220300 |
| author_facet | Ledgard, Henry 1943- |
| author_role | aut |
| author_sort | Ledgard, Henry 1943- |
| author_variant | h l hl |
| building | Verbundindex |
| bvnumber | BV021879341 |
| ctrlnum | (OCoLC)227540225 (DE-599)BVBBV021879341 |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02488nam a2200541zc 4500</leader><controlfield tag="001">BV021879341</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200914 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">880721s1969 m||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)227540225</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021879341</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">MAC-TR-60</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ledgard, Henry</subfield><subfield code="d">1943-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)172220300</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A formal system for defining the syntax and semantics of computer languages</subfield><subfield code="c">by Henry Francis Ledgard</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="b">Project MAC, Mass. Inst. of Technology</subfield><subfield code="c">1969</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">203 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Kopie, erschienen bei National Techn. Information Service, Springfield, Va.</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Diss., 1969</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">The thesis of this dissertation is that formal definitions of the syntax and semantics of computer languages are needed. This dissertation investigates two candidates for formally defining computer languages: (1) the formalism of canonical systems for defining the syntax of a computer language and its translation into a target language, and (2) the formalisms of the lambda-calculus and extended Markov algorithms as a combined formalism used as the basis of a target language for defining the semantics of a computer language. Formal definitions of the syntax and semantics of SNOBOL/1 and ALGOL/60 are included as examples of the approach. (Author).</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">(Programming languages</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">(Semantics</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algorithms</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer Programming and Software</subfield><subfield code="2">scgdst</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer Systems</subfield><subfield code="2">scgdst</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Linguistics</subfield><subfield code="2">scgdst</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Multiple operation</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programming languages)</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Real time</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Syntax)</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Theses</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Time sharing</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Linguistik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Syntax</subfield><subfield code="0">(DE-588)4058779-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Syntax</subfield><subfield code="0">(DE-588)4058779-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015094823</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV021879341 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:03:42Z |
| indexdate | 2024-07-09T20:46:34Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015094823 |
| oclc_num | 227540225 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 203 S. |
| publishDate | 1969 |
| publishDateSearch | 1969 |
| publishDateSort | 1969 |
| publisher | Project MAC, Mass. Inst. of Technology |
| record_format | marc |
| spelling | Ledgard, Henry 1943- Verfasser (DE-588)172220300 aut A formal system for defining the syntax and semantics of computer languages by Henry Francis Ledgard Cambridge, Mass. Project MAC, Mass. Inst. of Technology 1969 203 S. txt rdacontent n rdamedia nc rdacarrier Kopie, erschienen bei National Techn. Information Service, Springfield, Va. Zugl.: Diss., 1969 The thesis of this dissertation is that formal definitions of the syntax and semantics of computer languages are needed. This dissertation investigates two candidates for formally defining computer languages: (1) the formalism of canonical systems for defining the syntax of a computer language and its translation into a target language, and (2) the formalisms of the lambda-calculus and extended Markov algorithms as a combined formalism used as the basis of a target language for defining the semantics of a computer language. Formal definitions of the syntax and semantics of SNOBOL/1 and ALGOL/60 are included as examples of the approach. (Author). (Programming languages dtict (Semantics dtict Algorithms dtict Computer Programming and Software scgdst Computer Systems scgdst Linguistics scgdst Multiple operation dtict Programming languages) dtict Real time dtict Syntax) dtict Theses dtict Time sharing dtict Linguistik Syntax (DE-588)4058779-4 gnd rswk-swf Semantik (DE-588)4054490-4 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Programmiersprache (DE-588)4047409-4 s Semantik (DE-588)4054490-4 s Syntax (DE-588)4058779-4 s DE-604 |
| spellingShingle | Ledgard, Henry 1943- A formal system for defining the syntax and semantics of computer languages (Programming languages dtict (Semantics dtict Algorithms dtict Computer Programming and Software scgdst Computer Systems scgdst Linguistics scgdst Multiple operation dtict Programming languages) dtict Real time dtict Syntax) dtict Theses dtict Time sharing dtict Linguistik Syntax (DE-588)4058779-4 gnd Semantik (DE-588)4054490-4 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4058779-4 (DE-588)4054490-4 (DE-588)4047409-4 (DE-588)4113937-9 |
| title | A formal system for defining the syntax and semantics of computer languages |
| title_auth | A formal system for defining the syntax and semantics of computer languages |
| title_exact_search | A formal system for defining the syntax and semantics of computer languages |
| title_exact_search_txtP | A formal system for defining the syntax and semantics of computer languages |
| title_full | A formal system for defining the syntax and semantics of computer languages by Henry Francis Ledgard |
| title_fullStr | A formal system for defining the syntax and semantics of computer languages by Henry Francis Ledgard |
| title_full_unstemmed | A formal system for defining the syntax and semantics of computer languages by Henry Francis Ledgard |
| title_short | A formal system for defining the syntax and semantics of computer languages |
| title_sort | a formal system for defining the syntax and semantics of computer languages |
| topic | (Programming languages dtict (Semantics dtict Algorithms dtict Computer Programming and Software scgdst Computer Systems scgdst Linguistics scgdst Multiple operation dtict Programming languages) dtict Real time dtict Syntax) dtict Theses dtict Time sharing dtict Linguistik Syntax (DE-588)4058779-4 gnd Semantik (DE-588)4054490-4 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | (Programming languages (Semantics Algorithms Computer Programming and Software Computer Systems Linguistics Multiple operation Programming languages) Real time Syntax) Theses Time sharing Linguistik Syntax Semantik Programmiersprache Hochschulschrift |
| work_keys_str_mv | AT ledgardhenry aformalsystemfordefiningthesyntaxandsemanticsofcomputerlanguages |