Abstract completion for non-compatible rewrite relations:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Tübingen
WSI
1996
|
| Series: | Wilhelm-Schickard-Institut für Informatik <Tübingen>: WSI
1996,13 |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 26, 5 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010768771 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 960523s1996 |||| 00||| engod | ||
| 016 | 7 | |a 947485767 |2 DE-101 | |
| 035 | |a (OCoLC)75723725 | ||
| 035 | |a (DE-599)BVBBV010768771 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 | ||
| 100 | 1 | |a Bündgen, Reinhard |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Abstract completion for non-compatible rewrite relations |c Reinhard Bündgen |
| 264 | 1 | |a Tübingen |b WSI |c 1996 | |
| 300 | |a 26, 5 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Wilhelm-Schickard-Institut für Informatik <Tübingen>: WSI |v 1996,13 | |
| 830 | 0 | |a Wilhelm-Schickard-Institut für Informatik <Tübingen>: WSI |v 1996,13 |w (DE-604)BV009027955 |9 1996,13 | |
| 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=007191328&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007191328 | ||
Record in the Search Index
| _version_ | 1804125248797278208 |
|---|---|
| adam_text | DAGSTUHL SEMINAR PARTIAL EVALUATION FEBRUARY 1996 DRAFT PROCEEDINGS O.
DANVY, R. GLIICK, P. THIEMANN WSI-96-6 UNWERSITATSBIBLIOTHEK HANNOVER
TECHNHSCHE INFORMATTONSBJBUOTHGK WILHELM-SCHICKARD-INSTITUT FIIR
INFORMATIK UNIVERSITAT TUBINGEN SAND 13 D-72076 TUBINGEN GERMANY TEL.:
X49 7071 29-5467 FAX: X49 7071 29-5958 EMAIL:
THIEMANNQINFORMATIK.UNI-TUEBINGEN.DE WILHELM-SCHICKARD-INSTITUT 1996
ISSN 0946-3852 THIS ARTICLE WAS PROCESSED USING THE CLASS. MACRO PACKAGE
WITH THE LLNCS DOCUMENT UB/TIB HANNOVER 114 180 350. 89 CONTENTS A
UNIFORM APPROACH FOR COMPILE-TIME AND RUN-TIME SPECIALIZATION 1 CHARLES
CONSEL, LUKE HORNOF, FRANCOIS NOEL, JACQUES NOYE, NICOLAE VOLANSCHI
PRACTICAL ASPECTS OF SPECIALIZATION OF ALGOL-LIKE PROGRAMS 20 MIKHAIL A.
BULYONKOV, DMITRIJ V. KOCHETOV SPECIALIZATION OF IMPERATIVE PROGRAMS
THROUGH ANALYSIS OF RELATIONAL 39 EXPRESSIONS ALEXANDER SAKHAROV TOWARD
PARTIAL EVALUATION OF SIDE-EFFECTING SCHEME 57 KENICHI ASAI AN APPROACH
FOR THE UNDERSTANDING OF SCIENTIFIC APPLICATION PROGRAMS BASED ON 58
PROGRAM SPECIALIZATION SANDRINE BLAZY, PHILIPPE FACON CURRENT
DEVELOPMENTS IN PARTIAL EVALUATION FOR EQUATIONAL PROGRAMS 75 ALAIN
MINIUSSI, DAVID SHERMAN SYNCHRONIZATION ANALYSES FOR MULTIPLE RECURSION
PARAMETERS 92 W.N. CHIN, S.C. KHOO, P. THIEMANN REGULAR APPROXIMATIONS
OF COMPUTATION PATHS IN LOGIC AND FUNCTIONAL 114 LANGUAGES J.P.
GALLAGHER, L. LAFAVE PROGRAM DEVELOPMENT BY PROOF TRANSFORMATION 130
HELMUT SCHWICHTENBERG AUTOMATIC TECHNIQUES FOR LOGIC PROGRAM
SPECIALIZATION 131 ALBERTO PETTOROSSI, MAURIZIO PROIETTI GLOBAL CONTROL
FOR PARTIAL DSEDUCTION THROUGH CHARACTERISTIC ATOMS AND 148 GLOBAL TREES
MICHAEL LEUSCHEL, BERN MARTENS EFFICIENTLY GENERATING EFFICIENT
GENERATING EXTENSIONS IN PROLOG 174 JESPER J0RGENSEN, MICHAEL LEUSCHEL
APPLYING MULTIPLE SPECIALIZATION TO PROGRAM PARALLELIZATION 197 MANUEL
HERMENEGILDO AND GERMAN PUEBLA MULTI-LEVEL LAMBDA-CALCULI: AN ALGEBRAIC
DESCRIPTION 198 FLEMMING NIELSON, HANNE RIIS NIELSON REASONING ABOUT
HIERARCHIES OF ONLINE PROGRAM SPECIALIZATION SYSTEMS 214 JOHN HATCLIFF,
ROBERT GLUCK SPECIFICATION OF A SUPERCOMPILER 232 ANDREI KLIMOV A
SELF-APPLICABLE SUPERCOMPILER 233 ANDREI P. NEMYTYKH, VICTORIA A.
PINCHUK, VALENTIN F. TURCHIN A ROADMAP TO METACOMPUTATION BY
SUPERCOMPILATION 253 ROBERT GLUCK, MORTEN HEINE S0RENSEN
METACOMPUTATION: MST PLUS SCP 276 VALENTIN F. TURCHIN TYPE
SPECIALISATION FOR THE LAMBDA CALCULUS 310 JOHN HUGHES PRAGMATICS OF
TYPE-DIRECTED PARTIAL EVALUATION 324 OLIVIER DANVY COMPILER GENERATION
FOR INTERACTIVE GRAPHICS USING INTERMEDIATE CODE 334 SCOTT DRAVES
SELF-APPLICABLE ONLINE PARTIAL EVALUATION 354 MICHAEL SPERBER PROGRAM
SPECIALIZATION VIA PROGRAM SLICING 366 THOMAS REPS, TODD TURNDIGE
EVOLUTION OF PARTIAL EVALUATORS: REMOVING INHERITED LIMITS 387 TORBEN
JE. MOGENSEN ML PATTERN MATCH COMPILATION AND PARTIAL EVALUATION 406
PETER SESTOFT LOCKSTEP TRANSFORMATIONS 425 KRISTIAN NIELSEN UNRAVELLING
COMPUTATIONS 426 DOAITSE SWIERSTRA HYLOMORPHISM IN TRIPLET FORM - AN
IDEAL INTERNAL FORM FOR FUNCTIONAL 427 PROGRAM OPTIMIZATION AKIHIKO
TAKANO SOME RELATIONSHIPS BETWEEN PARTIAL EVALUATION AND
META-PROGRAMMING 428 TIM SHEARD
|
| any_adam_object | 1 |
| author | Bündgen, Reinhard |
| author_facet | Bündgen, Reinhard |
| author_role | aut |
| author_sort | Bündgen, Reinhard |
| author_variant | r b rb |
| building | Verbundindex |
| bvnumber | BV010768771 |
| ctrlnum | (OCoLC)75723725 (DE-599)BVBBV010768771 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01142nam a2200289 cb4500</leader><controlfield tag="001">BV010768771</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960523s1996 |||| 00||| engod</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">947485767</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)75723725</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010768771</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-12</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bündgen, Reinhard</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Abstract completion for non-compatible rewrite relations</subfield><subfield code="c">Reinhard Bündgen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Tübingen</subfield><subfield code="b">WSI</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">26, 5 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="1" ind2=" "><subfield code="a">Wilhelm-Schickard-Institut für Informatik <Tübingen>: WSI</subfield><subfield code="v">1996,13</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Wilhelm-Schickard-Institut für Informatik <Tübingen>: WSI</subfield><subfield code="v">1996,13</subfield><subfield code="w">(DE-604)BV009027955</subfield><subfield code="9">1996,13</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=007191328&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-007191328</subfield></datafield></record></collection> |
| id | DE-604.BV010768771 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:58:33Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007191328 |
| oclc_num | 75723725 |
| open_access_boolean | |
| owner | DE-12 |
| owner_facet | DE-12 |
| physical | 26, 5 S. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | WSI |
| record_format | marc |
| series | Wilhelm-Schickard-Institut für Informatik <Tübingen>: WSI |
| series2 | Wilhelm-Schickard-Institut für Informatik <Tübingen>: WSI |
| spelling | Bündgen, Reinhard Verfasser aut Abstract completion for non-compatible rewrite relations Reinhard Bündgen Tübingen WSI 1996 26, 5 S. txt rdacontent n rdamedia nc rdacarrier Wilhelm-Schickard-Institut für Informatik <Tübingen>: WSI 1996,13 Wilhelm-Schickard-Institut für Informatik <Tübingen>: WSI 1996,13 (DE-604)BV009027955 1996,13 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007191328&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Bündgen, Reinhard Abstract completion for non-compatible rewrite relations Wilhelm-Schickard-Institut für Informatik <Tübingen>: WSI |
| title | Abstract completion for non-compatible rewrite relations |
| title_auth | Abstract completion for non-compatible rewrite relations |
| title_exact_search | Abstract completion for non-compatible rewrite relations |
| title_full | Abstract completion for non-compatible rewrite relations Reinhard Bündgen |
| title_fullStr | Abstract completion for non-compatible rewrite relations Reinhard Bündgen |
| title_full_unstemmed | Abstract completion for non-compatible rewrite relations Reinhard Bündgen |
| title_short | Abstract completion for non-compatible rewrite relations |
| title_sort | abstract completion for non compatible rewrite relations |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007191328&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV009027955 |
| work_keys_str_mv | AT bundgenreinhard abstractcompletionfornoncompatiblerewriterelations |