A practical theory of programming:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York u.a.
Springer
1993
|
| Series: | Texts and monographs in computer science
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | [5], 243 S. |
| ISBN: | 0387941061 3540941061 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV008358845 | ||
| 003 | DE-604 | ||
| 005 | 20031114 | ||
| 007 | t | ||
| 008 | 931130s1993 |||| 00||| eng d | ||
| 020 | |a 0387941061 |9 0-387-94106-1 | ||
| 020 | |a 3540941061 |9 3-540-94106-1 | ||
| 035 | |a (OCoLC)28338181 | ||
| 035 | |a (DE-599)BVBBV008358845 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91 |a DE-91G |a DE-384 |a DE-19 |a DE-473 |a DE-526 |a DE-83 |a DE-188 |a DE-11 | ||
| 050 | 0 | |a QA76.6 | |
| 082 | 0 | |a 005.1 |2 20 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a DAT 510f |2 stub | ||
| 100 | 1 | |a Hehner, Eric C. R. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A practical theory of programming |c Eric C. R. Hehner |
| 264 | 1 | |a New York u.a. |b Springer |c 1993 | |
| 300 | |a [5], 243 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Texts and monographs in computer science | |
| 650 | 7 | |a Ordinateurs - Programmation |2 ram | |
| 650 | 7 | |a Programacao de computadores |2 larpcal | |
| 650 | 4 | |a Programmation des ordinateurs | |
| 650 | 7 | |a genie logiciel |2 inriac | |
| 650 | 7 | |a logique mathematique |2 inriac | |
| 650 | 7 | |a methode formelle de programmation |2 inriac | |
| 650 | 7 | |a theorie programmation |2 inriac | |
| 650 | 7 | |a verification logiciel |2 inriac | |
| 650 | 4 | |a Computer programming | |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Theorie |0 (DE-588)4059787-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 0 | 1 | |a Theorie |0 (DE-588)4059787-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 2 | |5 DE-604 | |
| 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=005519785&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005519785 | ||
Record in the Search Index
| _version_ | 1804122749773283328 |
|---|---|
| adam_text | A PRACTICAL THEORY OF PROGRAMMING ERIC C.R. HEHNER SPRINGER-VERLAG NEW
YORK BERLIN HEIDELBERG LONDON PARIS TOKYO HONG KONG BARCELONA BUDAPEST
-4 CONTENTS 0 PREFACE 0 INTRODUCTION 0 QUICK TOUR 1
ACKNOWLEDGMENTS 2 1 BASIC THEORIES 3 BOOLEAN THEORY 3 AXIOMS AND PROOF
RULES 6 EXPRESSION AND PROOF FORMAT 8 FORMALIZATION 11 NUMBER THEORY 12
CHARACTER THEORY 13 2 BASIC DATA STRUCTURES 14 BUNCH THEORY 14 SET
THEORY 17 STRING THEORY 18 LIST THEORY 21 MULTIDIMENSIONAL STRUCTURES 23
3 FUNCTION THEORY 24 FUNCTIONS 24 ABBREVIATED FUNCTION NOTATIONS 26
SCOPE AND SUBSTITUTION 27 QUANTIFIERS 28 FUNCTION FINE POINTS 30
SUBSTITUTION VERSUS DISTRIBUTION 30 FUNCTION INCLUSION AND EQUALITY 32
FUNCTION COMPOSITION 33 LIST AS FUNCTION 35 4 PROGRAM THEORY 36
SPECIFICATIONS 37 SPECIFICATION NOTATIONS 38 SPECIFICATION LAWS 40
REFINEMENT 42 CONDITIONS 43 PROGRAMS 45 -3 CONTENTS PROGRAM DEVELOPMENT
REFINEMENT LAWS LIST SUMMATION BINARY EXPONENTIATION TIME REAL TIME
RECURSIVE TIME TERMINATION LINEAR SEARCH BINARY SEARCH FAST
EXPONENTIATION FIBONACCI NUMBERS ROBUSTNESS REFINEMENT IN PLACE
PROGRAMMING LANGUAGE SCOPE VARIABLE DECLARATION VARIABLE SUSPENSION DATA
STRUCTURES ARRAYS RECORDS CONTROL STRUCTURES WHILE LOOP REPEAT LOOP EXIT
LOOP TWO-DIMENSIONAL SEARCH FOR LOOP MINIMUM SUM SEGMENT GO TO TIME
DEPENDENCE ASSERTIONS CHECKING BACKTRACKING SUBPROGRAM RESULT EXPRESSION
FUNCTION PROCEDURE ALIAS FUNCTIONAL PROGRAMMING FUNCTION REFINEMENT 47
47 48 50 51 51 53 55 57 58 63 65 67 68 70 70 70 71 72 72 74 74 74 75 75
77 79 79 80 81 82 82 82 83 83 84 85 86 87 89 CONTENTS -2 8 RECURSIVE
DEFINITION RECURSIVE DATA DEFINITION CONSTRUCTION AND INDUCTION LEAST
FIXED-POINTS RECURSIVE DATA CONSTRUCTION RECURSIVE PROGRAM DEFINITION
RECURSIVE PROGRAM CONSTRUCTION LOOP DEFINITION LIMITS THEORY DESIGN AND
IMPLEMENTATION DATA THEORIES DATA-STACK THEORY DATA-STACK IMPLEMENTATION
SIMPLE DATA-STACK THEORY DATA-QUEUE THEORY DATA-TREE THEORY DATA-TREE
IMPLEMENTATION PROGRAM THEORIES PROGRAM-STACK THEORY PROGRAM-STACK
IMPLEMENTATION FANCY PROGRAM-STACK THEORY WEAK PROGRAM-STACK THEORY
PROGRAM-QUEUE THEORY PROGRAM-TREE THEORY SPECIFICATION BY IMPLEMENTATION
DATA TRANSFORMATION CONCURRENCY INDEPENDENT COMPOSITION LAWS OF
INDEPENDENT COMPOSITION LIST CONCURRENCY CIRCUIT DESIGN SECURITY SWITCH
FOUND CONCURRENCY BUFFER INSERTION SORT 91 91 91 94 95 98 99 100 101 102
102 102 103 104 105 107 107 110 110 111 111 111 112 112 115 116 120 121
123 124 125 125 127 128 129 -1 CONTENTS 9 COMMUNICATION IMPLEMENTABILITY
INPUT AND OUTPUT COMMUNICATION TIMING RECURSIVELY DEFINED COMMUNICATION
INPUT COMPOSITION MERGE MONITOR REACTION CONTROLLER COMMUNICATING
PROCESSES CHANNEL DECLARATION DEADLOCK POWER SERIES MULTIPLICATION 10
EXERCISES BASIC THEORIES BASIC DATA STRUCTURES FUNCTION THEORY PROGRAM
THEORY PROGRAMMING LANGUAGE RECURSIVE DEFINITION THEORY DESIGN AND
IMPLEMENTATION CONCURRENCY COMMUNICATION 11 REFERENCE JUSTIFICATIONS
SOURCES BIBLIOGRAPHY INDEX AXIOMS AND LAWS SYMBOLS AND NAMES PRECEDENCE
131 132 132 134 135 135 136 137 139 140 141 142 143 149 149 155 158 162
182 185 192 197 199 204 204 213 215 219 229 241 243
|
| any_adam_object | 1 |
| author | Hehner, Eric C. R. |
| author_facet | Hehner, Eric C. R. |
| author_role | aut |
| author_sort | Hehner, Eric C. R. |
| author_variant | e c r h ecr ecrh |
| building | Verbundindex |
| bvnumber | BV008358845 |
| 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 | ST 130 ST 230 |
| classification_tum | DAT 510f |
| ctrlnum | (OCoLC)28338181 (DE-599)BVBBV008358845 |
| 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 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02186nam a2200577 c 4500</leader><controlfield tag="001">BV008358845</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20031114 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">931130s1993 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387941061</subfield><subfield code="9">0-387-94106-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540941061</subfield><subfield code="9">3-540-94106-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)28338181</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008358845</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-739</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-11</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">ST 130</subfield><subfield code="0">(DE-625)143588:</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 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hehner, Eric C. R.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A practical theory of programming</subfield><subfield code="c">Eric C. R. Hehner</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">[5], 243 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">Texts and monographs in computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ordinateurs - Programmation</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programacao de computadores</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation des ordinateurs</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">genie logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique mathematique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">methode formelle de programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">theorie programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">verification logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theorie</subfield><subfield code="0">(DE-588)4059787-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Theorie</subfield><subfield code="0">(DE-588)4059787-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">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</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=005519785&sequence=000001&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-005519785</subfield></datafield></record></collection> |
| id | DE-604.BV008358845 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:18:50Z |
| institution | BVB |
| isbn | 0387941061 3540941061 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005519785 |
| oclc_num | 28338181 |
| open_access_boolean | |
| owner | DE-739 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-384 DE-19 DE-BY-UBM DE-473 DE-BY-UBG DE-526 DE-83 DE-188 DE-11 |
| owner_facet | DE-739 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-384 DE-19 DE-BY-UBM DE-473 DE-BY-UBG DE-526 DE-83 DE-188 DE-11 |
| physical | [5], 243 S. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Springer |
| record_format | marc |
| series2 | Texts and monographs in computer science |
| spelling | Hehner, Eric C. R. Verfasser aut A practical theory of programming Eric C. R. Hehner New York u.a. Springer 1993 [5], 243 S. txt rdacontent n rdamedia nc rdacarrier Texts and monographs in computer science Ordinateurs - Programmation ram Programacao de computadores larpcal Programmation des ordinateurs genie logiciel inriac logique mathematique inriac methode formelle de programmation inriac theorie programmation inriac verification logiciel inriac Computer programming Programmverifikation (DE-588)4135576-3 gnd rswk-swf Theorie (DE-588)4059787-8 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Programmierung (DE-588)4076370-5 s Theorie (DE-588)4059787-8 s DE-604 Programmverifikation (DE-588)4135576-3 s HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005519785&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Hehner, Eric C. R. A practical theory of programming Ordinateurs - Programmation ram Programacao de computadores larpcal Programmation des ordinateurs genie logiciel inriac logique mathematique inriac methode formelle de programmation inriac theorie programmation inriac verification logiciel inriac Computer programming Programmverifikation (DE-588)4135576-3 gnd Theorie (DE-588)4059787-8 gnd Programmierung (DE-588)4076370-5 gnd |
| subject_GND | (DE-588)4135576-3 (DE-588)4059787-8 (DE-588)4076370-5 |
| title | A practical theory of programming |
| title_auth | A practical theory of programming |
| title_exact_search | A practical theory of programming |
| title_full | A practical theory of programming Eric C. R. Hehner |
| title_fullStr | A practical theory of programming Eric C. R. Hehner |
| title_full_unstemmed | A practical theory of programming Eric C. R. Hehner |
| title_short | A practical theory of programming |
| title_sort | a practical theory of programming |
| topic | Ordinateurs - Programmation ram Programacao de computadores larpcal Programmation des ordinateurs genie logiciel inriac logique mathematique inriac methode formelle de programmation inriac theorie programmation inriac verification logiciel inriac Computer programming Programmverifikation (DE-588)4135576-3 gnd Theorie (DE-588)4059787-8 gnd Programmierung (DE-588)4076370-5 gnd |
| topic_facet | Ordinateurs - Programmation Programacao de computadores Programmation des ordinateurs genie logiciel logique mathematique methode formelle de programmation theorie programmation verification logiciel Computer programming Programmverifikation Theorie Programmierung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005519785&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT hehnerericcr apracticaltheoryofprogramming |