Property analysis of term rewriting systems:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
1993
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Bremen, Univ., Diss., 1993 |
| Beschreibung: | 115 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009657742 | ||
| 003 | DE-604 | ||
| 007 | t | ||
| 008 | 940615s1993 d||| m||| 00||| engod | ||
| 016 | 7 | |a 941130916 |2 DE-101 | |
| 035 | |a (OCoLC)64511472 | ||
| 035 | |a (DE-599)BVBBV009657742 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-739 |a DE-706 | ||
| 084 | |a DAT 554d |2 stub | ||
| 100 | 1 | |a Seifert, Richard |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Property analysis of term rewriting systems |c von Richard Seifert |
| 264 | 1 | |c 1993 | |
| 300 | |a 115 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Bremen, Univ., Diss., 1993 | ||
| 650 | 0 | 7 | |a Terminierung |g Informatik |0 (DE-588)4242777-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Termersetzungssystem |0 (DE-588)4117189-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Termersetzungssystem |0 (DE-588)4117189-5 |D s |
| 689 | 0 | 1 | |a Terminierung |g Informatik |0 (DE-588)4242777-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006385347&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006385347 | |
Datensatz im Suchindex
| _version_ | 1807324306009489408 |
|---|---|
| adam_text |
CONTENTS
1.
INTRODUCTION
1
1.1.
DOMAINS
3
1.2.
ABSTRACT
REDUCTION
SYSTEMS
5
1.3.
TERM
REWRITING
SYSTEMS
9
2.
TERMINATION
12
2.1.
TERMINATION
PROOFS
13
2.2.
TERMINATION
BY
INTERPRETATION
15
2.3.
SIMPLIFICATION
ORDERINGS
17
2.3.1.
PATH
ORDERINGS
18
2.3.2.
DECOMPOSITION
ORDERINGS
21
2.4.
INTERPRETATION-BASED
ORDERINGS
26
2.5.
CLOSURE
ORDERINGS
29
2.6.
MODULAR
TERMINATION
32
2.7.
TRANSFORMATIONAL
TERMINATION
35
2.8.
EQUATIONAL
TERMINATION
38
3.
TRANSFORMATIONS
45
3.1. CLASSES
OF
PROGRAMS
47
3.2.
REDUCTION
STRATEGIES
55
3.3.
GENERAL
TRS
TO
CONSTRUCTOR
TRS
57
3.4.
FUNCTIONAL
LANGUAGES
TO
APPLICATIVE
TRS
60
3.5.
APPLICATIVE
TRS
TO
CONSTRUCTOR
TRS
62
3.6.
INTRODUCING
A
LEAST
CLEMENT
65
3.7.
CONSTRUCTOR
TRS
TO
RECURSIVE
PROGRAM
SCHEMES
67
3.8.
NON-LCFT-LINCAR
RULES
72
3.9.
CONSIDERING
PRIORITY
RULES
76
4.
STATIC
ANALYSIS
82
4.1.
ABSTRACT
INTERPRETATION
83
4.2.
BUILDING
THE
PROGRAM
GRAPH
90
4.3.
TERMINATION
ANALYSIS
93
4.4.
STRICTNESS
AND
SHARING
ANALYSIS
99
5.
CONCLUSION
102
REFERENCES
104
INDEX
111 |
| any_adam_object | 1 |
| author | Seifert, Richard |
| author_facet | Seifert, Richard |
| author_role | aut |
| author_sort | Seifert, Richard |
| author_variant | r s rs |
| building | Verbundindex |
| bvnumber | BV009657742 |
| classification_tum | DAT 554d |
| ctrlnum | (OCoLC)64511472 (DE-599)BVBBV009657742 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV009657742</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940615s1993 d||| m||| 00||| engod</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">941130916</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)64511472</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009657742</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-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 554d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Seifert, Richard</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Property analysis of term rewriting systems</subfield><subfield code="c">von Richard Seifert</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">115 S.</subfield><subfield code="b">graph. Darst.</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">Bremen, Univ., Diss., 1993</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Terminierung</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4242777-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Termersetzungssystem</subfield><subfield code="0">(DE-588)4117189-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Termersetzungssystem</subfield><subfield code="0">(DE-588)4117189-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Terminierung</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4242777-0</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">DNB 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=006385347&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-006385347</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV009657742 |
| illustrated | Illustrated |
| indexdate | 2024-08-14T01:26:11Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006385347 |
| oclc_num | 64511472 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-739 DE-706 |
| owner_facet | DE-91 DE-BY-TUM DE-739 DE-706 |
| physical | 115 S. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| record_format | marc |
| spelling | Seifert, Richard Verfasser aut Property analysis of term rewriting systems von Richard Seifert 1993 115 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Bremen, Univ., Diss., 1993 Terminierung Informatik (DE-588)4242777-0 gnd rswk-swf Termersetzungssystem (DE-588)4117189-5 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Termersetzungssystem (DE-588)4117189-5 s Terminierung Informatik (DE-588)4242777-0 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006385347&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Seifert, Richard Property analysis of term rewriting systems Terminierung Informatik (DE-588)4242777-0 gnd Termersetzungssystem (DE-588)4117189-5 gnd |
| subject_GND | (DE-588)4242777-0 (DE-588)4117189-5 (DE-588)4113937-9 |
| title | Property analysis of term rewriting systems |
| title_auth | Property analysis of term rewriting systems |
| title_exact_search | Property analysis of term rewriting systems |
| title_full | Property analysis of term rewriting systems von Richard Seifert |
| title_fullStr | Property analysis of term rewriting systems von Richard Seifert |
| title_full_unstemmed | Property analysis of term rewriting systems von Richard Seifert |
| title_short | Property analysis of term rewriting systems |
| title_sort | property analysis of term rewriting systems |
| topic | Terminierung Informatik (DE-588)4242777-0 gnd Termersetzungssystem (DE-588)4117189-5 gnd |
| topic_facet | Terminierung Informatik Termersetzungssystem Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006385347&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT seifertrichard propertyanalysisoftermrewritingsystems |