Compiling functional languages:
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Chichester [u.a.]
Wiley
1988
|
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001454338&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Beschreibung: | Literaturverz. S. 258 - 284 |
| Umfang: | XXI, 289 S. |
| ISBN: | 0471920274 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV002214213 | ||
| 003 | DE-604 | ||
| 005 | 20100507 | ||
| 007 | t| | ||
| 008 | 890928s1988 xx |||| 00||| eng d | ||
| 020 | |a 0471920274 |9 0-471-92027-4 | ||
| 035 | |a (OCoLC)17953755 | ||
| 035 | |a (DE-599)BVBBV002214213 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-12 |a DE-739 |a DE-706 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a QA76.73.F86 | |
| 082 | 0 | |a 005.13 |2 19 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a DAT 544f |2 stub | ||
| 084 | |a DAT 383f |2 stub | ||
| 100 | 1 | |a Diller, Antoni |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Compiling functional languages |c Antoni Diller |
| 264 | 1 | |a Chichester [u.a.] |b Wiley |c 1988 | |
| 300 | |a XXI, 289 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverz. S. 258 - 284 | ||
| 650 | 7 | |a Compilateurs (logiciels) |2 ram | |
| 650 | 4 | |a Compilation (Informatique) | |
| 650 | 7 | |a LISP |2 inriac | |
| 650 | 7 | |a LISPKIT |2 inriac | |
| 650 | 7 | |a Langage de programmtion |2 ram | |
| 650 | 4 | |a Langages de programmation fonctionnels | |
| 650 | 7 | |a Programmeertalen |2 gtt | |
| 650 | 7 | |a compilation |2 inriac | |
| 650 | 7 | |a installation langage |2 inriac | |
| 650 | 7 | |a lambda calcul |2 inriac | |
| 650 | 7 | |a langage fonctionnel |2 inriac | |
| 650 | 7 | |a programmation fonctionnelle |2 inriac | |
| 650 | 4 | |a Compiling (Electronic computers) | |
| 650 | 4 | |a Functional programming languages | |
| 650 | 0 | 7 | |a Compiler |0 (DE-588)4148248-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Funktionale Programmiersprache |0 (DE-588)4129948-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Funktionale Programmiersprache |0 (DE-588)4129948-6 |D s |
| 689 | 0 | 1 | |a Compiler |0 (DE-588)4148248-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001454338&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-001454338 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 DAT 544f 2001 A 12600 |
|---|---|
| DE-BY-TUM_katkey | 333410 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010647975 040010519561 |
| _version_ | 1821937579021303808 |
| adam_text | CONTENTS PREFACE XIII ACKNOWLEDGEMENTS XXI 1 INTRODUCTION 1 1.1
INTRODUCTION 1 1.2 REFERENTIAL TRANSPARENCY AND OPACITY 3 1.2.1
REFERENTIAL OPACITY IN PHILOSOPHICAL LOGIC 3 1.2.2 OPAQUE FEATURES OF
IMPERATIVE LANGUAGES 5 1.2.3 OPAQUE FEATURES OF FUNCTIONAL LANGUAGES? 7
1.3 TURNER S LANGUAGE KRC 8 1.3.1 FUNCTIONS 8 1.3.2 LISTS 9 1.3.3
ZF-EXPRESSIONS 10 1.3.4 THE USER-INTERFACE 12 2 LISPKIT LISP 14 2.1
INTRODUCTION 14 2.2 INFORMAL A-NOTATION 14 2.3 THE ABSTRACT SYNTAX OF
LISPKIT 18 2.3.1 FUNCTION APPLICATION 19 2.3.2 THE CONDITIONAL 19 2.3.3
LAMBDA ABSTRACTION 19 2.3.4 LET-CLAUSES 21 2.3.5 LETREC-CLAUSES 22 2.4
THE CONCRETE SYNTAX OF LISPKIT 23 2.4.1 S-EXPRESSIONS 23 2.4.2
APPLICATION CLAUSES 25 2.4.3 BUILT-IN LISPKIT FUNCTIONS 26 V 2.4.4 THE
CONDITIONAL 26 2.4.5 LAMBDA CLAUSES 26 2.4.6 LET-CLAUSES 27 2.4.7
LETREC-CLAUSES 27 2.4.8 A GRAMMAR FOR LISPKIT 27 2.5 SOME EXAMPLES OF
LISPKIT PROGRAMS 30 2.5.1 THE FIBONACCI NUMBERS 30 2.5.2 PROGRAMS
INVOLVING HOMOMORPHISMS 34 2.5.3 LINEAR SEARCH 35 2.5.4 QUICKSORT 36 2.6
AN IMPROVED LISPKIT SYSTEM 37 2.7 THE DEVELOPMENT OF FUNCTIONAL
LANGUAGES 40 COMBINATORY LOGIC 42 3.1 INTRODUCTION 42 3.2 A PLEA FOR
COMBINATORY LOGIC 43 3.3 REDUCTION IN PURE COMBINATORY LOGIC 46 3.3.1
FUNDAMENTAL IDEAS 46 3.3.2 DEFINING COMBINATORS IN TERMS OF S AND K 48
3.3.3 FREE VARIABLES AND SUBSTITUTION 49 3.4 REDUCTION STRATEGIES 50
3.4.1 REDUCTION PATHS 50 3.4.2 THE SEMI-STANDARDIZATION THEOREM 52 3.4.3
THE STANDARDIZATION THEOREM 54 3.4.4 THE SECOND CHURCH-ROSSER THEOREM 57
3.4.5 A COROLLARY OF THE STANDARDIZATION THEOREM 58 3.5 COMBINATORIAL
COMPLETENESS 58 3.6 COMBINATORY LOGIC AS MACHINE CODE 60 3.6.1
FIXED-POINT COMBINATORS 60 3.6.2 DEFINING THE NATURAL NUMBERS 61 3.6.3
DEFINING LIST OPERATORS 62 3.6.4 DEFINING BOOLEANS AND THE CONDITIONAL
63 3.6.5 ILLATIVE ATOMS AND DELTA REDUCTION 63 TRANSLATING LISPKIT INTO
COMBINATORS 67 4.1 INTRODUCTION 67 4.2 TRANSLATING CONSTANTS 67 4.3
TRANSLATING FUNCTION APPLICATIONS 68 4.4 TRANSLATING BUILT-IN FUNCTIONS
69 VI 4.5 TRANSLATING LET-CLAUSES 69 4.6 TRANSLATING LETREC-CLAUSES 70
4.7 TRANSLATING LAMBDA CLAUSES 71 4.8 CONCLUSION 71 5 GRAPH-REDUCTION 72
5.1 INTRODUCTION 72 5.2 THE ABSTRACT SYNTAX GRAPH 73 5.3 DECIDING WLUECH
CONTRACTION TO PERFORM. NEXT 76 5.4 COMPILING INTERACTIVE LISPKIT 78 6
THE LAMBDA CALCULUS 79 6.1 INTRODUCTION 79 6.2 REDUCTION 79 6.3
REDUCTION STRATEGIES 82 6.4 HEAD NORMAL FORMS 83 6.5 JUSTIFYING THE
GRAPH-REDUCTION OF Y 84 6.6 COMBINATORY LOGIC AND THE A-CALCULUS 88 7
BRACKET ABSTRACTION ALGORITHMS 90 7.1 INTRODUCTION 90 7.2 MARKOV
ALGORITHMS 90 7.3 FINITE ABSTRACTION ALGORITHMS 93 7.3.1 MOTIVATION FOR
INTRODUCING S , C AND B 99 7.3.2 AN EXAMPLE OF ABSTRACTION 102 7.3.3
ALGORITHMS INVOLVING J AND J 104 7.3.4 INCLUDING W 105 7.3.5 ANOTHER
REPRESENTATION FOR ABSTRACTION ALGORITHMS . 105 7.4 INFINITE ABSTRACTION
ALGORITHMS 106 7.4.1 ABDALI S ALGORITHM 106 7.4.2 NOSHITA S ALGORITHM
108 7.4.3 PIPERNO S ALGORITHM 109 8 SUPERCOMBINATORS 114 8.1
INTRODUCTION 114 8.2 BURTON S BALANCING OPERATION 114 8.3 HUGHES S
CONTRIBUTION 118 8.3.1 OPTIMAL ORDERING OF PARAMETERS 121 8.3.2 THE
SUPERCOMBINATOR ALGORITHM 122 8.3.3 ANOTHER EXAMPLE 122 VN 8.3.4 LEVEL
NUMBERS 123 8.4 PIPERNO S ALGORITLIM AND SUPERCOMBINATORS 124 9
PATTERN-MATCHING 126 9.1 INTRODUCTION 126 9.2 EXTENDING THE ABSTRACTION
ALGORITLIM 128 9.3 SOME EXAMPLES 129 9.4 TRANSLATING PATTERN-MATCHING IN
KRC 132 9.5 CONCLUSION 135 10 CATEGORICAL COMBLNATORS 136 10.1
INTRODUCTION 136 10.2 CARTESIAN CLOSED CATEGORIES 137 10.3 CATEGORICAL
COMBINATORY LOGIC 140 10.4 SIMPLIFIED CATEGORICAL COMBINATORS 141 10.5
DE BRUIJN S NOTATION FOR THE LAMBDA CALCULUS 142 10.6 COMPILING NAMEFREE
TERMS 145 10.7 AN EXAMPLE 146 11 REDUCTION AND TRANSFORMATION 147 11.1
INTRODUCTION 147 11.2 SOURCE REDUCTION 148 11.3 PROGRAM TRANSFORMATION
149 11.3.1 UNFOLD/FOLD PROGRAM TRANSFORMATIONS 150 11.3.2 COMPILING
ZF-EXPRESSIONS 154 11.3.3 DEPENDENCY ANALYSIS 157 11.4 PARTIAL
EVALUATION 162 11.4.1 THE MATHEMATICAL BACKGROUND 162 11.4.2 PARTIAL
EVALUATION IN COMPUTING 163 11.4.3 THE PARTIAL EVALUATOR MIX 165 11.4.4
COMPILERS AND INTERPRETERS 166 11.4.5 OTHER USES OF PARTIAL EVALUATION
167 11.4.6 DISCUSSION 168 11.4.7 DIAGNOSTIC RUN-TIME ERROR MESSAGE 169
12 STRICTNESS ANALYSIS 171 12.1 INTRODUCTION 171 12.2 WHAT IS ABSTRACT
INTERPRETATION? 173 12.3 THE BASIC IDEAS OF DOMAIN THEORY 174 12.3.1
PARTIAL ORDERS AND POSETS 174 VM 12.3.2 BOUNDS, DIRECTED SUBSETS AND
CPOS 175 12.3.3 SUMS AND PRODUCTS OF CPOS 176 12.3.4 MONOTONICITY,
CONTINUITY AND FUNCTION SPACES . . . . 177 12.3.5 DERIVING LEAST
FIXED-POINTS 178 12.4 ABSTRACT INTERPRETATION IN PRACTICE 183 12.5
CONCLUSION 186 13 TYPE SYSTEMS 187 13.1 INTRODUCTION 187 13.2 MOTIVATION
187 13.3 CHOICES TO BE MADE ABOUT TYPE SYSTEMS 191 13.3.1 ABSTRACTIONS
192 13.3.2 LET-CLAUSES 193 13.3.3 LETREC-CLAUSES 193 13.3.4 QUANTIFIED
TYPES 194 13.3.5 DISCUSSION 194 13.4 TYPE INFERENCE 195 13.5 CONCLUSION
198 A SIMPLE LISPKIT SYSTEM 1 A.L INTRODUCTION 199 A.2 THE PARSER 200
A.3 THE TRANSLATOR 204 A.4 THE REDUCER 206 A.5 DISCUSSION 207 A.6 THE
PROGRAM 207 GLOSSARY 243 ANNOTATED BIBLIOGRAPHY 258 ANNOTATIONS 258
REFERENCES 264 INDEX 285 IX
|
| any_adam_object | 1 |
| author | Diller, Antoni |
| author_facet | Diller, Antoni |
| author_role | aut |
| author_sort | Diller, Antoni |
| author_variant | a d ad |
| building | Verbundindex |
| bvnumber | BV002214213 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.73.F86 |
| callnumber-search | QA76.73.F86 |
| callnumber-sort | QA 276.73 F86 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 130 |
| classification_tum | DAT 544f DAT 383f |
| ctrlnum | (OCoLC)17953755 (DE-599)BVBBV002214213 |
| dewey-full | 005.13 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 |
| dewey-search | 005.13 |
| dewey-sort | 15.13 |
| 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>02055nam a2200565 c 4500</leader><controlfield tag="001">BV002214213</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100507 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">890928s1988 xx |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0471920274</subfield><subfield code="9">0-471-92027-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)17953755</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002214213</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-12</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.73.F86</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">19</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">DAT 544f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 383f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Diller, Antoni</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Compiling functional languages</subfield><subfield code="c">Antoni Diller</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Chichester [u.a.]</subfield><subfield code="b">Wiley</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXI, 289 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="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 258 - 284</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Compilateurs (logiciels)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Compilation (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">LISP</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">LISPKIT</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langage de programmtion</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages de programmation fonctionnels</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmeertalen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">compilation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">installation langage</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">lambda calcul</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage fonctionnel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation fonctionnelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Compiling (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Functional programming languages</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Compiler</subfield><subfield code="0">(DE-588)4148248-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionale Programmiersprache</subfield><subfield code="0">(DE-588)4129948-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Funktionale Programmiersprache</subfield><subfield code="0">(DE-588)4129948-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Compiler</subfield><subfield code="0">(DE-588)4148248-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</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=001454338&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-001454338</subfield></datafield></record></collection> |
| id | DE-604.BV002214213 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T07:47:44Z |
| institution | BVB |
| isbn | 0471920274 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001454338 |
| oclc_num | 17953755 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-12 DE-739 DE-706 DE-83 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-12 DE-739 DE-706 DE-83 DE-188 |
| physical | XXI, 289 S. |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| publisher | Wiley |
| record_format | marc |
| spellingShingle | Diller, Antoni Compiling functional languages Compilateurs (logiciels) ram Compilation (Informatique) LISP inriac LISPKIT inriac Langage de programmtion ram Langages de programmation fonctionnels Programmeertalen gtt compilation inriac installation langage inriac lambda calcul inriac langage fonctionnel inriac programmation fonctionnelle inriac Compiling (Electronic computers) Functional programming languages Compiler (DE-588)4148248-7 gnd Funktionale Programmiersprache (DE-588)4129948-6 gnd |
| subject_GND | (DE-588)4148248-7 (DE-588)4129948-6 |
| title | Compiling functional languages |
| title_auth | Compiling functional languages |
| title_exact_search | Compiling functional languages |
| title_full | Compiling functional languages Antoni Diller |
| title_fullStr | Compiling functional languages Antoni Diller |
| title_full_unstemmed | Compiling functional languages Antoni Diller |
| title_short | Compiling functional languages |
| title_sort | compiling functional languages |
| topic | Compilateurs (logiciels) ram Compilation (Informatique) LISP inriac LISPKIT inriac Langage de programmtion ram Langages de programmation fonctionnels Programmeertalen gtt compilation inriac installation langage inriac lambda calcul inriac langage fonctionnel inriac programmation fonctionnelle inriac Compiling (Electronic computers) Functional programming languages Compiler (DE-588)4148248-7 gnd Funktionale Programmiersprache (DE-588)4129948-6 gnd |
| topic_facet | Compilateurs (logiciels) Compilation (Informatique) LISP LISPKIT Langage de programmtion Langages de programmation fonctionnels Programmeertalen compilation installation langage lambda calcul langage fonctionnel programmation fonctionnelle Compiling (Electronic computers) Functional programming languages Compiler Funktionale Programmiersprache |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001454338&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT dillerantoni compilingfunctionallanguages |
Inhaltsverzeichnis
Paper/Kapitel scannen lassen
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik
| Signatur: |
0102 DAT 544f 2001 A 12600 Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |
| Exemplar 2 | Ausleihbar Am Standort |