Formal discription of programming concepts:
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
1991
|
| Schriftenreihe: | IFIP state-of-the-art reports
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | VI, 507 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV005425183 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 920701s1991 |||| 10||| eng d | ||
| 035 | |a (OCoLC)24066852 | ||
| 035 | |a (DE-599)BVBBV005425183 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 050 | 0 | |a QA76.6 | |
| 082 | 0 | |a 005.1 |2 20 | |
| 084 | |a SD 1989 |0 (DE-625)142723: |2 rvk | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Formal discription of programming concepts |c Erich J. Neuhold ... (eds.). With contrib. by K. R. Apt ... |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1991 | |
| 300 | |a VI, 507 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a IFIP state-of-the-art reports | |
| 500 | |a Literaturangaben | ||
| 650 | 7 | |a Beschreibung |2 swd | |
| 650 | 7 | |a Kongress |2 swd | |
| 650 | 4 | |a Programmation (Informatique) | |
| 650 | 7 | |a Programmierung |2 swd | |
| 650 | 4 | |a Computer programming | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 655 | 7 | |a Rio de Janeiro (1989) |2 swd | |
| 700 | 1 | |a Neuhold, Erich J. |d 1940- |e Sonstige |0 (DE-588)108423026 |4 oth | |
| 700 | 1 | |a Apt, Krzysztof R. |d 1949- |e Sonstige |0 (DE-588)110139763 |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003392366&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-003392366 | ||
Datensatz im Suchindex
| _version_ | 1804119633042604032 |
|---|---|
| adam_text | A Practical Introduction to
Denotational Semantics
Peter D. Mosses
Table of Contents
1
Introduction
............................... 3
2
Syntax
................................... 4
2.1
Concrete Syntax
........................... 5
2.2
Abstract Syntax
........................... 7
2.3
Context-Sensitive Syntax
...................... 10
3
Semantics
................................. 11
3.1
Denotations
.............................. 12
3.2
Semantic Functions
......................... 13
3.3
Notational Conventions
....................... 15
4
Domains
.................................. 15
4.1
Domain Structure
.......................... 16
4.2
Domain Notation
........................... 18
4.3
Notational Conventions
....................... 21
5
Techniques
................................ 22
5.1
Literals
................................ 23
5.2
Expressions
.............................. 25
5.3
Constant Declarations
........................ 28
5.4
Function Abstractions
........................ 30
5.5
Variable Declarations
........................ 34
5.6
Statements
.............................. 40
5.7
Procedure Abstractions
....................... 43
6
Bibliographical Notes
......................... 45
References
................................... 47
Index Terms
................................. 48
|
| any_adam_object | 1 |
| author_GND | (DE-588)108423026 (DE-588)110139763 |
| building | Verbundindex |
| bvnumber | BV005425183 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.6 |
| callnumber-search | QA76.6 |
| callnumber-sort | QA 276.6 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SD 1989 ST 230 |
| classification_tum | DAT 310f |
| ctrlnum | (OCoLC)24066852 (DE-599)BVBBV005425183 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01595nam a2200433 c 4500</leader><controlfield tag="001">BV005425183</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">920701s1991 |||| 10||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)24066852</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005425183</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-91G</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1989</subfield><subfield code="0">(DE-625)142723:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal discription of programming concepts</subfield><subfield code="c">Erich J. Neuhold ... (eds.). With contrib. by K. R. Apt ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 507 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="490" ind1="0" ind2=" "><subfield code="a">IFIP state-of-the-art reports</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Beschreibung</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Kongress</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmierung</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Rio de Janeiro (1989)</subfield><subfield code="2">swd</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Neuhold, Erich J.</subfield><subfield code="d">1940-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)108423026</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Apt, Krzysztof R.</subfield><subfield code="d">1949-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)110139763</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003392366&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003392366</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content Rio de Janeiro (1989) swd |
| genre_facet | Konferenzschrift Rio de Janeiro (1989) |
| id | DE-604.BV005425183 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:29:17Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003392366 |
| oclc_num | 24066852 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | VI, 507 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Springer |
| record_format | marc |
| series2 | IFIP state-of-the-art reports |
| spelling | Formal discription of programming concepts Erich J. Neuhold ... (eds.). With contrib. by K. R. Apt ... Berlin u.a. Springer 1991 VI, 507 S. txt rdacontent n rdamedia nc rdacarrier IFIP state-of-the-art reports Literaturangaben Beschreibung swd Kongress swd Programmation (Informatique) Programmierung swd Computer programming (DE-588)1071861417 Konferenzschrift gnd-content Rio de Janeiro (1989) swd Neuhold, Erich J. 1940- Sonstige (DE-588)108423026 oth Apt, Krzysztof R. 1949- Sonstige (DE-588)110139763 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003392366&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Formal discription of programming concepts Beschreibung swd Kongress swd Programmation (Informatique) Programmierung swd Computer programming |
| subject_GND | (DE-588)1071861417 |
| title | Formal discription of programming concepts |
| title_auth | Formal discription of programming concepts |
| title_exact_search | Formal discription of programming concepts |
| title_full | Formal discription of programming concepts Erich J. Neuhold ... (eds.). With contrib. by K. R. Apt ... |
| title_fullStr | Formal discription of programming concepts Erich J. Neuhold ... (eds.). With contrib. by K. R. Apt ... |
| title_full_unstemmed | Formal discription of programming concepts Erich J. Neuhold ... (eds.). With contrib. by K. R. Apt ... |
| title_short | Formal discription of programming concepts |
| title_sort | formal discription of programming concepts |
| topic | Beschreibung swd Kongress swd Programmation (Informatique) Programmierung swd Computer programming |
| topic_facet | Beschreibung Kongress Programmation (Informatique) Programmierung Computer programming Konferenzschrift Rio de Janeiro (1989) |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003392366&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT neuholderichj formaldiscriptionofprogrammingconcepts AT aptkrzysztofr formaldiscriptionofprogrammingconcepts |