Reflection in rewriting logic: metalogical foundations and metaprogramming applications
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Stanford
CLSI Publ.
2000
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 200 S. |
| ISBN: | 1575862387 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV013635366 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 010315s2000 |||| 00||| eng d | ||
| 020 | |a 1575862387 |9 1-57586-238-7 | ||
| 035 | |a (OCoLC)44914269 | ||
| 035 | |a (DE-599)BVBBV013635366 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 | ||
| 050 | 0 | |a QA76.9.L63 | |
| 082 | 0 | |a 005.13/1 |2 21 | |
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 100 | 1 | |a Clavel, Manuel |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Reflection in rewriting logic |b metalogical foundations and metaprogramming applications |
| 264 | 1 | |a Stanford |b CLSI Publ. |c 2000 | |
| 300 | |a 200 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Human information processing | |
| 650 | 4 | |a Rewriting systems (Computer science) | |
| 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=009315952&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009315952 | ||
Datensatz im Suchindex
| _version_ | 1804128444845391872 |
|---|---|
| adam_text | REFLECTION IN REWRITING LOGIC METALOGICAL FOUNDATIONS AND
METAPROGRAMMING APPLICATIONS MANUEL CLAVEL CSLI PUBLICATIONS CENTER FOR
THE STUDY OF LANGUAGE AND INFORMATION STANFORD, CALIFORNIA CONTENTS
INTRODUCTION IX 1 GENERAL LOGICS AND REWRITING LOGIC 1 1.1 GENERAL
LOGICS 1 1.1.1 SYNTAX 2 1.1.2 ENTAILMENT SYSTEMS 2 1.1.3 INSTITUTIONS 3
1.1.4 LOGICS 3 1.1.5 PROOF CALCULI 4 1.1.6 GENERALIZED PROOF SUBCALCULI
5 1.1.7 DECLARATIVE LANGUAGES 6 1.2 REWRITING LOGIC 7 1.2.1
PRELIMINARIES ON S-ALGEBRAS, SUBSTITUTION, AND CONTEXTS 8 1.2.2 THE
RULES OF REWRITING LOGIC 10 1.2.3 AN EQUIVALENT PROOF SYSTEM 11 1.2.4
THE MEANING OF REWRITING LOGIC 12 1.3 THE MAUDE LANGUAGE 13 1.3.1
FUNCTIONAL MODULES 13 1.3.2 SYSTEM MODULES 16 1.3.3 THE SEMANTICS OF
MAUDE 17 2 REFLECTION IN GENERAL LOGICS AND IN REWRITING LOGIC 23 2.1
AXIOMATIZING REFLECTIVE LOGICS AND DECLARATIVE LANGUAGES 23 2.1.1
METAINTERPRETERS FOR DECLARATIVE LANGUAGES 25 2.2 REFLECTIVE DECLARATIVE
LANGUAGES 25 2.2.1 FUNCTIONAL LANGUAGES 25 2.2.2 EQUATIONAL LANGUAGES 26
VIII / CONTENTS 2.2.3 HORN LOGIC LANGUAGES 27 2.2.4 REWRITING LOGIC
LANGUAGES 27 2.2.5 TURING MACHINES 28 2.3 INTERNAL VERSUS EXTERNAL
STRATEGIES 28 2.4 REFLECTION IN REWRITING LOGIC 30 2.4.1 A
UUL~-UNIVERSAL THEORY 31 2.4.2 A UUL-UNIVERSAL THEORY 52 3 REFLECTION
AND STRATEGIES IN MAUDE 55 3.1 A REFLECTIVE KERNEL IN MAUDE 55 3.1.1
METAREPRESENTING TERMS 57 3.1.2 METAREPRESENTING MODULES 58 3.1.3 THE
METALEVEL FUNCTIONS 62 3.2 INTERNAL STRATEGIES IN MAUDE 64 3.2.1 THE
MODULE STRATEGY 66 3.2.2 THE MODULE META-INTERPRETER 75 4 APPLICATIONS
OF REFLECTIVE MAUDE 83 4.1 MAUDE AS A METALOGICAL TRANSLATOR 83 4.1.1 A
REIFIED MAP FROM LINEAR LOGIC TO REWRITING LOGIC 85 4.2 MAUDE AS A
SEMANTIC FRAMEWORK 95 4.2.1 AN EXECUTABLE REPRESENTATION OF CCS 95 4.3
BUILDING THEOREM PROVERS IN MAUDE 102 4.3.1 A KNUTH-BENDIX COMPLETION
CHECKER 103 4.3.2 AN INDUCTIVE THEOREM PROVER 116 5 CONCLUSION 135 A
PROOFS OF AUXILIARY LEMMAS 139 BIBLIOGRAPHY 191 INDEX 199
|
| any_adam_object | 1 |
| author | Clavel, Manuel |
| author_facet | Clavel, Manuel |
| author_role | aut |
| author_sort | Clavel, Manuel |
| author_variant | m c mc |
| building | Verbundindex |
| bvnumber | BV013635366 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.L63 |
| callnumber-search | QA76.9.L63 |
| callnumber-sort | QA 276.9 L63 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2500 |
| ctrlnum | (OCoLC)44914269 (DE-599)BVBBV013635366 |
| 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 Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01191nam a2200337 c 4500</leader><controlfield tag="001">BV013635366</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">010315s2000 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1575862387</subfield><subfield code="9">1-57586-238-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)44914269</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013635366</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.L63</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Clavel, Manuel</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reflection in rewriting logic</subfield><subfield code="b">metalogical foundations and metaprogramming applications</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stanford</subfield><subfield code="b">CLSI Publ.</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">200 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="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Human information processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Rewriting systems (Computer science)</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=009315952&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-009315952</subfield></datafield></record></collection> |
| id | DE-604.BV013635366 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:49:21Z |
| institution | BVB |
| isbn | 1575862387 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009315952 |
| oclc_num | 44914269 |
| open_access_boolean | |
| owner | DE-11 |
| owner_facet | DE-11 |
| physical | 200 S. |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | CLSI Publ. |
| record_format | marc |
| spelling | Clavel, Manuel Verfasser aut Reflection in rewriting logic metalogical foundations and metaprogramming applications Stanford CLSI Publ. 2000 200 S. txt rdacontent n rdamedia nc rdacarrier Computer logic Human information processing Rewriting systems (Computer science) GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009315952&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Clavel, Manuel Reflection in rewriting logic metalogical foundations and metaprogramming applications Computer logic Human information processing Rewriting systems (Computer science) |
| title | Reflection in rewriting logic metalogical foundations and metaprogramming applications |
| title_auth | Reflection in rewriting logic metalogical foundations and metaprogramming applications |
| title_exact_search | Reflection in rewriting logic metalogical foundations and metaprogramming applications |
| title_full | Reflection in rewriting logic metalogical foundations and metaprogramming applications |
| title_fullStr | Reflection in rewriting logic metalogical foundations and metaprogramming applications |
| title_full_unstemmed | Reflection in rewriting logic metalogical foundations and metaprogramming applications |
| title_short | Reflection in rewriting logic |
| title_sort | reflection in rewriting logic metalogical foundations and metaprogramming applications |
| title_sub | metalogical foundations and metaprogramming applications |
| topic | Computer logic Human information processing Rewriting systems (Computer science) |
| topic_facet | Computer logic Human information processing Rewriting systems (Computer science) |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009315952&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT clavelmanuel reflectioninrewritinglogicmetalogicalfoundationsandmetaprogrammingapplications |