Algebraic semantics of imperative programs
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Mass. [u.a.]
MIT Press
1996
|
| Schriftenreihe: | Foundations of computing
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011041150 | ||
| 003 | DE-604 | ||
| 005 | 20171123 | ||
| 007 | t| | ||
| 008 | 961106s1996 xx |||| 00||| engod | ||
| 020 | |a 026207172X |9 0-262-07172-X | ||
| 035 | |a (OCoLC)33439655 | ||
| 035 | |a (DE-599)BVBBV011041150 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-739 |a DE-384 | ||
| 050 | 0 | |a QA76.7 | |
| 082 | 0 | |a 005.13/1 |2 20 | |
| 084 | |a ST 240 |0 (DE-625)143625: |2 rvk | ||
| 084 | |a DAT 557f |2 stub | ||
| 100 | 1 | |a Goguen, Joseph |d 1941-2006 |e Verfasser |0 (DE-588)172100275 |4 aut | |
| 245 | 1 | 0 | |a Algebraic semantics of imperative programs |c Joseph A. Goguen and Grant Malcolm |
| 264 | 1 | |a Cambridge, Mass. [u.a.] |b MIT Press |c 1996 | |
| 300 | |a VII, 228 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Foundations of computing | |
| 650 | 7 | |a Algebraïsche taalkunde |2 gtt | |
| 650 | 4 | |a Algèbre | |
| 650 | 4 | |a Langages de programmation - Sémantique | |
| 650 | 7 | |a Programmeren (computers) |2 gtt | |
| 650 | 7 | |a Semantiek |2 gtt | |
| 650 | 4 | |a Semantik | |
| 650 | 4 | |a Algebra | |
| 650 | 4 | |a Programming languages (Electronic computers) |x Semantics | |
| 650 | 0 | 7 | |a Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algorithmische Programmierung |0 (DE-588)4293504-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Algorithmische Programmierung |0 (DE-588)4293504-0 |D s |
| 689 | 0 | 1 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Malcolm, Grant |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007392838&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007392838 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 DAT 557f 2001 A 15693 |
|---|---|
| DE-BY-TUM_katkey | 773704 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040020539113 |
| _version_ | 1820813018086244352 |
| adam_text | ALGEBRAIC SEMANTICS OF IMPERATIVE PROGRAMS JOSEPH A. GOGUEN AND GRANT
MALCOLM THE MIT PRESS CAMBRIDGE, MASSACHUSETTS LONDON, ENGLAND CONTENTS
SERIES FOREWORD IX 0 INTRODUCTION 1 1 BACKGROUND IN GENERAL ALGEBRA AND
OBJ 11 1.1 SIGNATURES 11 1.2 ALGEBRAS 16 1.3 TERMS 17 1.4 VARIABLES 21
1.5 EQUATIONS 24 1.6 REWRITING AND EQUATIONAL DEDUCTION 29 1.6.1
ATTRIBUTES OF OPERATIONS 32 1.6.2 DENOTATIONAL SEMANTICS FOR OBJECTS 36
1.6.3 THE THEOREM OF CONSTANTS 38 1.7 IMPORTING MODULES 40 1.8
LITERATURE 43 1.9 EXERCISES 43 2 STORES, VARIABLES, VALUES, AND
ASSIGNMENT 51 2.1 STORES, VARIABLES, AND VALUES 51 2.1.1 OBJ S BUILT-IN
INEQUALITY 55 2.2 ASSIGNMENT 60 2.3 EXERCISES 64 3 COMPOSITION AND
CONDITIONALS 67 3.1 SEQUENTIAL COMPOSITION 70 3.2 CONDITIONALS 71 3.3
STRUCTURAL INDUCTION 74 3.4 EXERCISES 76 4 PROVING PROGRAM CORRECTNESS
79 4.1 EXAMPLE: ABSOLUTE VALUE 83 CONTENTS 4.2 EXAMPLE: COMPUTING THE
MAXIMUM OF TWO VALUES 86 4.3 EXERCISES 88 5 ITERATION 9 1 5.1 INVARIANTS
92 5.1.1 EXAMPLE: GREATEST COMMON DIVISOR 98 5.2 TERMINATION 102 5.3
EXERCISES 105 6 ARRAYS 109 6.1 SOME SIMPLE EXAMPLES 115 6.2 EXERCISES
118 6.3 SPECIFICATIONS AND PROOFS 119 6.4 EXERCISES 126 7 PROCEDURES 131
7.1 NON-RECURSIVE PROCEDURES 133 7.1.1 PROCEDURES WITH NO PARAMETERS 133
7.1.2 PROCEDURES WITH VAR-PARAMETERS 139 7.1.3 PROCEDURES WITH
EXP-PARAMETERS 144 7.2 RECURSIVE PROCEDURES 148 7.2.1 PROCEDURES WITH NO
PARAMETERS 149 7.2.2 PROCEDURES WITH VAR-PARAMETERS 156 7.3 EXERCISES
162 8 SOME COMPARISON WITH OTHER APPROACHES 169 A SUMMARY OF THE
SEMANTICS 175 B FIRST ORDER LOGIC AND INDUCTION 185 C ORDER SORTED
ALGEBRA 203 CONTENTS D OBJ3 SYNTAX 209 E INSTRUCTORS GUIDE 215
BIBLIOGRAPHY 223 INDEX 227
|
| any_adam_object | 1 |
| author | Goguen, Joseph 1941-2006 Malcolm, Grant |
| author_GND | (DE-588)172100275 |
| author_facet | Goguen, Joseph 1941-2006 Malcolm, Grant |
| author_role | aut aut |
| author_sort | Goguen, Joseph 1941-2006 |
| author_variant | j g jg g m gm |
| building | Verbundindex |
| bvnumber | BV011041150 |
| 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 240 |
| classification_tum | DAT 557f |
| ctrlnum | (OCoLC)33439655 (DE-599)BVBBV011041150 |
| 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>01849nam a2200493 c 4500</leader><controlfield tag="001">BV011041150</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20171123 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">961106s1996 xx |||| 00||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">026207172X</subfield><subfield code="9">0-262-07172-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)33439655</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011041150</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><subfield code="a">DE-739</subfield><subfield code="a">DE-384</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 240</subfield><subfield code="0">(DE-625)143625:</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="100" ind1="1" ind2=" "><subfield code="a">Goguen, Joseph</subfield><subfield code="d">1941-2006</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)172100275</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algebraic semantics of imperative programs</subfield><subfield code="c">Joseph A. Goguen and Grant Malcolm</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass. [u.a.]</subfield><subfield code="b">MIT Press</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 228 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">Foundations of computing</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algebraïsche taalkunde</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algèbre</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages de programmation - Sémantique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmeren (computers)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Semantiek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra</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="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">Algorithmische Programmierung</subfield><subfield code="0">(DE-588)4293504-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Algorithmische Programmierung</subfield><subfield code="0">(DE-588)4293504-0</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Malcolm, Grant</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</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=007392838&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007392838</subfield></datafield></record></collection> |
| id | DE-604.BV011041150 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-23T14:20:32Z |
| institution | BVB |
| isbn | 026207172X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007392838 |
| oclc_num | 33439655 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-384 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-384 |
| physical | VII, 228 S. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | MIT Press |
| record_format | marc |
| series2 | Foundations of computing |
| spellingShingle | Goguen, Joseph 1941-2006 Malcolm, Grant Algebraic semantics of imperative programs Algebraïsche taalkunde gtt Algèbre Langages de programmation - Sémantique Programmeren (computers) gtt Semantiek gtt Semantik Algebra Programming languages (Electronic computers) Semantics Semantik (DE-588)4054490-4 gnd Algorithmische Programmierung (DE-588)4293504-0 gnd |
| subject_GND | (DE-588)4054490-4 (DE-588)4293504-0 |
| title | Algebraic semantics of imperative programs |
| title_auth | Algebraic semantics of imperative programs |
| title_exact_search | Algebraic semantics of imperative programs |
| title_full | Algebraic semantics of imperative programs Joseph A. Goguen and Grant Malcolm |
| title_fullStr | Algebraic semantics of imperative programs Joseph A. Goguen and Grant Malcolm |
| title_full_unstemmed | Algebraic semantics of imperative programs Joseph A. Goguen and Grant Malcolm |
| title_short | Algebraic semantics of imperative programs |
| title_sort | algebraic semantics of imperative programs |
| topic | Algebraïsche taalkunde gtt Algèbre Langages de programmation - Sémantique Programmeren (computers) gtt Semantiek gtt Semantik Algebra Programming languages (Electronic computers) Semantics Semantik (DE-588)4054490-4 gnd Algorithmische Programmierung (DE-588)4293504-0 gnd |
| topic_facet | Algebraïsche taalkunde Algèbre Langages de programmation - Sémantique Programmeren (computers) Semantiek Semantik Algebra Programming languages (Electronic computers) Semantics Algorithmische Programmierung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007392838&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT goguenjoseph algebraicsemanticsofimperativeprograms AT malcolmgrant algebraicsemanticsofimperativeprograms |