Formal syntax and semantics of programming languages: a laboratory based approach
Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach presents a panorama of techniques in formal syntax, operational semantics and formal semantics. Using a teaching/learning perspective rather than a research-oriented approach, an understanding of the meta-languages is...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Reading, Mass. [u.a.]
Addison-Wesley
1995
|
| Schlagworte: | |
| Zusammenfassung: | Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach presents a panorama of techniques in formal syntax, operational semantics and formal semantics. Using a teaching/learning perspective rather than a research-oriented approach, an understanding of the meta-languages is accessible to anyone with a basic grounding in discrete mathematics and programming language concepts. Throughout the book, valuable hands-on laboratory exercises provide the opportunity for practical application of difficult concepts. Various exercises and examples, implementing syntactic and semantic specifications on real systems, give students hands-on practice. Supplemental software is available on disk or via file transfer protocol. This book is suitable for an advanced undergraduate or introductory graduate level course on the formal syntax and semantics of programming languages. |
| Beschreibung: | XVIII, 637 S. |
| ISBN: | 0201656973 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010282303 | ||
| 003 | DE-604 | ||
| 005 | 20031119 | ||
| 007 | t | ||
| 008 | 950711s1995 |||| 00||| eng d | ||
| 020 | |a 0201656973 |9 0-201-65697-3 | ||
| 035 | |a (OCoLC)30036364 | ||
| 035 | |a (DE-599)BVBBV010282303 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-91 |a DE-91G |a DE-739 |a DE-473 | ||
| 050 | 0 | |a QA76.7 | |
| 082 | 0 | |a 005.13/1 |2 20 | |
| 084 | |a ST 140 |0 (DE-625)143592: |2 rvk | ||
| 084 | |a DAT 557f |2 stub | ||
| 084 | |a DAT 350f |2 stub | ||
| 100 | 1 | |a Slonneger, Kenneth |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Formal syntax and semantics of programming languages |b a laboratory based approach |c Kenneth Slonneger ; Barry L. Kurtz |
| 264 | 1 | |a Reading, Mass. [u.a.] |b Addison-Wesley |c 1995 | |
| 300 | |a XVIII, 637 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 520 | 3 | |a Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach presents a panorama of techniques in formal syntax, operational semantics and formal semantics. Using a teaching/learning perspective rather than a research-oriented approach, an understanding of the meta-languages is accessible to anyone with a basic grounding in discrete mathematics and programming language concepts. Throughout the book, valuable hands-on laboratory exercises provide the opportunity for practical application of difficult concepts. Various exercises and examples, implementing syntactic and semantic specifications on real systems, give students hands-on practice. Supplemental software is available on disk or via file transfer protocol. This book is suitable for an advanced undergraduate or introductory graduate level course on the formal syntax and semantics of programming languages. | |
| 650 | 4 | |a Programming languages (Electronic computers) |x Semantics | |
| 650 | 4 | |a Programming languages (Electronic computers) |x Syntax | |
| 650 | 0 | 7 | |a Formale Syntax |0 (DE-588)4312653-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Semantik |0 (DE-588)4122144-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | 1 | |a Formale Semantik |0 (DE-588)4122144-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 1 | 1 | |a Formale Syntax |0 (DE-588)4312653-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Kurtz, Barry L. |e Verfasser |4 aut | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006841956 | ||
Datensatz im Suchindex
| _version_ | 1804124700158197760 |
|---|---|
| any_adam_object | |
| author | Slonneger, Kenneth Kurtz, Barry L. |
| author_facet | Slonneger, Kenneth Kurtz, Barry L. |
| author_role | aut aut |
| author_sort | Slonneger, Kenneth |
| author_variant | k s ks b l k bl blk |
| building | Verbundindex |
| bvnumber | BV010282303 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.7 |
| callnumber-search | QA76.7 |
| callnumber-sort | QA 276.7 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 140 |
| classification_tum | DAT 557f DAT 350f |
| ctrlnum | (OCoLC)30036364 (DE-599)BVBBV010282303 |
| dewey-full | 005.13/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/1 |
| dewey-search | 005.13/1 |
| dewey-sort | 15.13 11 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02534nam a2200469 c 4500</leader><controlfield tag="001">BV010282303</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20031119 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950711s1995 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0201656973</subfield><subfield code="9">0-201-65697-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)30036364</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010282303</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-384</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-473</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.7</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 140</subfield><subfield code="0">(DE-625)143592:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 557f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 350f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Slonneger, Kenneth</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal syntax and semantics of programming languages</subfield><subfield code="b">a laboratory based approach</subfield><subfield code="c">Kenneth Slonneger ; Barry L. Kurtz</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Reading, Mass. [u.a.]</subfield><subfield code="b">Addison-Wesley</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 637 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="520" ind1="3" ind2=" "><subfield code="a">Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach presents a panorama of techniques in formal syntax, operational semantics and formal semantics. Using a teaching/learning perspective rather than a research-oriented approach, an understanding of the meta-languages is accessible to anyone with a basic grounding in discrete mathematics and programming language concepts. Throughout the book, valuable hands-on laboratory exercises provide the opportunity for practical application of difficult concepts. Various exercises and examples, implementing syntactic and semantic specifications on real systems, give students hands-on practice. Supplemental software is available on disk or via file transfer protocol. This book is suitable for an advanced undergraduate or introductory graduate level course on the formal syntax and semantics of programming languages.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Semantics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Syntax</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Syntax</subfield><subfield code="0">(DE-588)4312653-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</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="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">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2="1"><subfield code="a">Formale Syntax</subfield><subfield code="0">(DE-588)4312653-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kurtz, Barry L.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006841956</subfield></datafield></record></collection> |
| id | DE-604.BV010282303 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:49:50Z |
| institution | BVB |
| isbn | 0201656973 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006841956 |
| oclc_num | 30036364 |
| open_access_boolean | |
| owner | DE-384 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-739 DE-473 DE-BY-UBG |
| owner_facet | DE-384 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-739 DE-473 DE-BY-UBG |
| physical | XVIII, 637 S. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Addison-Wesley |
| record_format | marc |
| spelling | Slonneger, Kenneth Verfasser aut Formal syntax and semantics of programming languages a laboratory based approach Kenneth Slonneger ; Barry L. Kurtz Reading, Mass. [u.a.] Addison-Wesley 1995 XVIII, 637 S. txt rdacontent n rdamedia nc rdacarrier Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach presents a panorama of techniques in formal syntax, operational semantics and formal semantics. Using a teaching/learning perspective rather than a research-oriented approach, an understanding of the meta-languages is accessible to anyone with a basic grounding in discrete mathematics and programming language concepts. Throughout the book, valuable hands-on laboratory exercises provide the opportunity for practical application of difficult concepts. Various exercises and examples, implementing syntactic and semantic specifications on real systems, give students hands-on practice. Supplemental software is available on disk or via file transfer protocol. This book is suitable for an advanced undergraduate or introductory graduate level course on the formal syntax and semantics of programming languages. Programming languages (Electronic computers) Semantics Programming languages (Electronic computers) Syntax Formale Syntax (DE-588)4312653-4 gnd rswk-swf Formale Semantik (DE-588)4122144-8 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf Programmiersprache (DE-588)4047409-4 s Formale Semantik (DE-588)4122144-8 s DE-604 Formale Syntax (DE-588)4312653-4 s Kurtz, Barry L. Verfasser aut |
| spellingShingle | Slonneger, Kenneth Kurtz, Barry L. Formal syntax and semantics of programming languages a laboratory based approach Programming languages (Electronic computers) Semantics Programming languages (Electronic computers) Syntax Formale Syntax (DE-588)4312653-4 gnd Formale Semantik (DE-588)4122144-8 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4312653-4 (DE-588)4122144-8 (DE-588)4047409-4 |
| title | Formal syntax and semantics of programming languages a laboratory based approach |
| title_auth | Formal syntax and semantics of programming languages a laboratory based approach |
| title_exact_search | Formal syntax and semantics of programming languages a laboratory based approach |
| title_full | Formal syntax and semantics of programming languages a laboratory based approach Kenneth Slonneger ; Barry L. Kurtz |
| title_fullStr | Formal syntax and semantics of programming languages a laboratory based approach Kenneth Slonneger ; Barry L. Kurtz |
| title_full_unstemmed | Formal syntax and semantics of programming languages a laboratory based approach Kenneth Slonneger ; Barry L. Kurtz |
| title_short | Formal syntax and semantics of programming languages |
| title_sort | formal syntax and semantics of programming languages a laboratory based approach |
| title_sub | a laboratory based approach |
| topic | Programming languages (Electronic computers) Semantics Programming languages (Electronic computers) Syntax Formale Syntax (DE-588)4312653-4 gnd Formale Semantik (DE-588)4122144-8 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Programming languages (Electronic computers) Semantics Programming languages (Electronic computers) Syntax Formale Syntax Formale Semantik Programmiersprache |
| work_keys_str_mv | AT slonnegerkenneth formalsyntaxandsemanticsofprogramminglanguagesalaboratorybasedapproach AT kurtzbarryl formalsyntaxandsemanticsofprogramminglanguagesalaboratorybasedapproach |