A Language Implementation System:
The paper presents the design and implementation of a Language Implementation System (LIS) and investigates the use of that system in the development of artificial languages and their associated processors. The language Implementation System accepts the formal definition of the syntax and semantics...
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
Cambridge, Mass.
Massachusetts Inst. of Technology, Project MAC
1974
|
| Subjects: | |
| Summary: | The paper presents the design and implementation of a Language Implementation System (LIS) and investigates the use of that system in the development of artificial languages and their associated processors. The language Implementation System accepts the formal definition of the syntax and semantics of an artificial language, and synthesizes a processor for that language. The parsers (lexical and primary) of the processor are highly efficient Deterministic Push Down Automata (DPDAs) computed from the language's CLR(k) grammar. The CLR(k) (Comprehensive Left to Right, looking ahead k symbpls) grammars are defined in the paper, and are shown to include virtually all 'practical' artificial languages. Applications of the Language Implementation System are presented, and the system is shown to be applicable not only to 'traditional' artificial languages such as PL/I, Algol, and Lisp, but also to interactive management information/decision system languages. (Author). |
| Physical Description: | 389 S. graph. Darst. |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV024521326 | ||
| 003 | DE-604 | ||
| 005 | 20220824 | ||
| 007 | t | ||
| 008 | 090924s1974 d||| tm|| 00||| eng d | ||
| 035 | |a (OCoLC)916672718 | ||
| 035 | |a (DE-599)BVBBV024521326 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 |a DE-706 | ||
| 088 | |a MAC TR 126 | ||
| 088 | |a MIT/LCS/TR-126 | ||
| 100 | 1 | |a Altman, Vernon E. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A Language Implementation System |c Vernon E. Altman |
| 264 | 1 | |a Cambridge, Mass. |b Massachusetts Inst. of Technology, Project MAC |c 1974 | |
| 300 | |a 389 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a Zugl.: Cambridge, Mass., Massachusetts Inst. of Technology, Diss., 1973 | ||
| 520 | 3 | |a The paper presents the design and implementation of a Language Implementation System (LIS) and investigates the use of that system in the development of artificial languages and their associated processors. The language Implementation System accepts the formal definition of the syntax and semantics of an artificial language, and synthesizes a processor for that language. The parsers (lexical and primary) of the processor are highly efficient Deterministic Push Down Automata (DPDAs) computed from the language's CLR(k) grammar. The CLR(k) (Comprehensive Left to Right, looking ahead k symbpls) grammars are defined in the paper, and are shown to include virtually all 'practical' artificial languages. Applications of the Language Implementation System are presented, and the system is shown to be applicable not only to 'traditional' artificial languages such as PL/I, Algol, and Lisp, but also to interactive management information/decision system languages. (Author). | |
| 650 | 7 | |a Algorithms |2 dtict | |
| 650 | 7 | |a Compilers |2 dtict | |
| 650 | 7 | |a Computations |2 dtict | |
| 650 | 7 | |a Computer Programming and Software |2 scgdst | |
| 650 | 7 | |a Grammars |2 dtict | |
| 650 | 7 | |a Mathematical logic |2 dtict | |
| 650 | 7 | |a Programming languages |2 dtict | |
| 650 | 7 | |a Semantics |2 dtict | |
| 650 | 7 | |a Syntax |2 dtict | |
| 650 | 7 | |a Theses |2 dtict | |
| 650 | 0 | 7 | |a Wiederherstellung |0 (DE-588)4352570-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Problemorientierte Programmiersprache |0 (DE-588)4175777-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Syntax |0 (DE-588)4058779-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Implementation |0 (DE-588)4026661-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Interpretierer |0 (DE-588)4162129-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algorithmus |0 (DE-588)4001183-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | 1 | |a Syntax |0 (DE-588)4058779-4 |D s |
| 689 | 0 | 2 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 0 | 3 | |a Interpretierer |0 (DE-588)4162129-3 |D s |
| 689 | 0 | 4 | |a Wiederherstellung |0 (DE-588)4352570-2 |D s |
| 689 | 0 | 5 | |a Problemorientierte Programmiersprache |0 (DE-588)4175777-4 |D s |
| 689 | 0 | 6 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 0 | 7 | |a Algorithmus |0 (DE-588)4001183-5 |D s |
| 689 | 0 | 8 | |a Implementation |0 (DE-588)4026661-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-018495382 | ||
Record in the Search Index
| _version_ | 1804140523578982400 |
|---|---|
| any_adam_object | |
| author | Altman, Vernon E. |
| author_facet | Altman, Vernon E. |
| author_role | aut |
| author_sort | Altman, Vernon E. |
| author_variant | v e a ve vea |
| building | Verbundindex |
| bvnumber | BV024521326 |
| ctrlnum | (OCoLC)916672718 (DE-599)BVBBV024521326 |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03395nam a2200649 c 4500</leader><controlfield tag="001">BV024521326</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220824 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090924s1974 d||| tm|| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)916672718</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV024521326</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">MAC TR 126</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">MIT/LCS/TR-126</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Altman, Vernon E.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A Language Implementation System</subfield><subfield code="c">Vernon E. Altman</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="b">Massachusetts Inst. of Technology, Project MAC</subfield><subfield code="c">1974</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">389 S.</subfield><subfield code="b">graph. Darst.</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="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Cambridge, Mass., Massachusetts Inst. of Technology, Diss., 1973</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">The paper presents the design and implementation of a Language Implementation System (LIS) and investigates the use of that system in the development of artificial languages and their associated processors. The language Implementation System accepts the formal definition of the syntax and semantics of an artificial language, and synthesizes a processor for that language. The parsers (lexical and primary) of the processor are highly efficient Deterministic Push Down Automata (DPDAs) computed from the language's CLR(k) grammar. The CLR(k) (Comprehensive Left to Right, looking ahead k symbpls) grammars are defined in the paper, and are shown to include virtually all 'practical' artificial languages. Applications of the Language Implementation System are presented, and the system is shown to be applicable not only to 'traditional' artificial languages such as PL/I, Algol, and Lisp, but also to interactive management information/decision system languages. (Author).</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">Compilers</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computations</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">Grammars</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematical logic</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">Semantics</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="0" ind2="7"><subfield code="a">Wiederherstellung</subfield><subfield code="0">(DE-588)4352570-2</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">Problemorientierte Programmiersprache</subfield><subfield code="0">(DE-588)4175777-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Implementation</subfield><subfield code="0">(DE-588)4026661-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Interpretierer</subfield><subfield code="0">(DE-588)4162129-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</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">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="2"><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="3"><subfield code="a">Interpretierer</subfield><subfield code="0">(DE-588)4162129-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Wiederherstellung</subfield><subfield code="0">(DE-588)4352570-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Problemorientierte Programmiersprache</subfield><subfield code="0">(DE-588)4175777-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="6"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="7"><subfield code="a">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="8"><subfield code="a">Implementation</subfield><subfield code="0">(DE-588)4026661-8</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-018495382</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV024521326 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:01:20Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018495382 |
| oclc_num | 916672718 |
| open_access_boolean | |
| owner | DE-83 DE-706 |
| owner_facet | DE-83 DE-706 |
| physical | 389 S. graph. Darst. |
| publishDate | 1974 |
| publishDateSearch | 1974 |
| publishDateSort | 1974 |
| publisher | Massachusetts Inst. of Technology, Project MAC |
| record_format | marc |
| spelling | Altman, Vernon E. Verfasser aut A Language Implementation System Vernon E. Altman Cambridge, Mass. Massachusetts Inst. of Technology, Project MAC 1974 389 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Zugl.: Cambridge, Mass., Massachusetts Inst. of Technology, Diss., 1973 The paper presents the design and implementation of a Language Implementation System (LIS) and investigates the use of that system in the development of artificial languages and their associated processors. The language Implementation System accepts the formal definition of the syntax and semantics of an artificial language, and synthesizes a processor for that language. The parsers (lexical and primary) of the processor are highly efficient Deterministic Push Down Automata (DPDAs) computed from the language's CLR(k) grammar. The CLR(k) (Comprehensive Left to Right, looking ahead k symbpls) grammars are defined in the paper, and are shown to include virtually all 'practical' artificial languages. Applications of the Language Implementation System are presented, and the system is shown to be applicable not only to 'traditional' artificial languages such as PL/I, Algol, and Lisp, but also to interactive management information/decision system languages. (Author). Algorithms dtict Compilers dtict Computations dtict Computer Programming and Software scgdst Grammars dtict Mathematical logic dtict Programming languages dtict Semantics dtict Syntax dtict Theses dtict Wiederherstellung (DE-588)4352570-2 gnd rswk-swf Semantik (DE-588)4054490-4 gnd rswk-swf Problemorientierte Programmiersprache (DE-588)4175777-4 gnd rswk-swf Syntax (DE-588)4058779-4 gnd rswk-swf Implementation (DE-588)4026661-8 gnd rswk-swf Interpretierer (DE-588)4162129-3 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Algorithmus (DE-588)4001183-5 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Formale Methode (DE-588)4333722-3 s Syntax (DE-588)4058779-4 s Semantik (DE-588)4054490-4 s Interpretierer (DE-588)4162129-3 s Wiederherstellung (DE-588)4352570-2 s Problemorientierte Programmiersprache (DE-588)4175777-4 s Formale Sprache (DE-588)4017848-1 s Algorithmus (DE-588)4001183-5 s Implementation (DE-588)4026661-8 s DE-604 |
| spellingShingle | Altman, Vernon E. A Language Implementation System Algorithms dtict Compilers dtict Computations dtict Computer Programming and Software scgdst Grammars dtict Mathematical logic dtict Programming languages dtict Semantics dtict Syntax dtict Theses dtict Wiederherstellung (DE-588)4352570-2 gnd Semantik (DE-588)4054490-4 gnd Problemorientierte Programmiersprache (DE-588)4175777-4 gnd Syntax (DE-588)4058779-4 gnd Implementation (DE-588)4026661-8 gnd Interpretierer (DE-588)4162129-3 gnd Formale Sprache (DE-588)4017848-1 gnd Formale Methode (DE-588)4333722-3 gnd Algorithmus (DE-588)4001183-5 gnd |
| subject_GND | (DE-588)4352570-2 (DE-588)4054490-4 (DE-588)4175777-4 (DE-588)4058779-4 (DE-588)4026661-8 (DE-588)4162129-3 (DE-588)4017848-1 (DE-588)4333722-3 (DE-588)4001183-5 (DE-588)4113937-9 |
| title | A Language Implementation System |
| title_auth | A Language Implementation System |
| title_exact_search | A Language Implementation System |
| title_full | A Language Implementation System Vernon E. Altman |
| title_fullStr | A Language Implementation System Vernon E. Altman |
| title_full_unstemmed | A Language Implementation System Vernon E. Altman |
| title_short | A Language Implementation System |
| title_sort | a language implementation system |
| topic | Algorithms dtict Compilers dtict Computations dtict Computer Programming and Software scgdst Grammars dtict Mathematical logic dtict Programming languages dtict Semantics dtict Syntax dtict Theses dtict Wiederherstellung (DE-588)4352570-2 gnd Semantik (DE-588)4054490-4 gnd Problemorientierte Programmiersprache (DE-588)4175777-4 gnd Syntax (DE-588)4058779-4 gnd Implementation (DE-588)4026661-8 gnd Interpretierer (DE-588)4162129-3 gnd Formale Sprache (DE-588)4017848-1 gnd Formale Methode (DE-588)4333722-3 gnd Algorithmus (DE-588)4001183-5 gnd |
| topic_facet | Algorithms Compilers Computations Computer Programming and Software Grammars Mathematical logic Programming languages Semantics Syntax Theses Wiederherstellung Semantik Problemorientierte Programmiersprache Implementation Interpretierer Formale Sprache Formale Methode Algorithmus Hochschulschrift |
| work_keys_str_mv | AT altmanvernone alanguageimplementationsystem |