Partial evaluation: international seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996 ; selected papers
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Berlin u.a.
Springer
1996
|
| Series: | Lecture notes in computer science
1110 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XII, 514 S. graph. Darst. |
| ISBN: | 3540615806 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010885652 | ||
| 003 | DE-604 | ||
| 005 | 19961206 | ||
| 007 | t| | ||
| 008 | 960729s1996 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 948040718 |2 DE-101 | |
| 020 | |a 3540615806 |9 3-540-61580-6 | ||
| 035 | |a (OCoLC)35183895 | ||
| 035 | |a (DE-599)BVBBV010885652 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-91G |a DE-739 |a DE-19 |a DE-20 |a DE-706 |a DE-634 |a DE-83 | ||
| 050 | 0 | |a QA76.76.E93P37 1996 | |
| 082 | 0 | |a 005.13/1 20 | |
| 082 | 0 | |a 005.13/1 |2 20 | |
| 084 | |a DAT 280f |2 stub | ||
| 084 | |a DAT 343f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Partial evaluation |b international seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996 ; selected papers |c Olivier Danvy ... (eds.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1996 | |
| 300 | |a XII, 514 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 1110 | |
| 650 | 4 | |a Logiciels - Maintenance - Congrès | |
| 650 | 7 | |a Logiciels - Maintenance - Congrès |2 ram | |
| 650 | 4 | |a Logiciels - Évaluation - Congrès | |
| 650 | 7 | |a Logiciels - Évaluation - Congrès |2 ram | |
| 650 | 7 | |a Ordinateurs - Programmation - Congrès |2 ram | |
| 650 | 7 | |a analyse programme |2 inriac | |
| 650 | 7 | |a déduction partielle |2 inriac | |
| 650 | 7 | |a manipulation programme |2 inriac | |
| 650 | 7 | |a métacompilation |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a programmation fonctionnelle |2 inriac | |
| 650 | 7 | |a système multiniveau |2 inriac | |
| 650 | 7 | |a sémantique programme |2 inriac | |
| 650 | 7 | |a transformation programme |2 inriac | |
| 650 | 7 | |a évaluation partielle |2 inriac | |
| 650 | 4 | |a Computer software -- Evaluation -- Congresses | |
| 650 | 4 | |a Software maintenance -- Congresses | |
| 650 | 0 | 7 | |a Teilauswertung |0 (DE-588)4323152-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1996 |z Dagstuhl |2 gnd-content | |
| 689 | 0 | 0 | |a Teilauswertung |0 (DE-588)4323152-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Danvy, Olivier |e Sonstige |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1110 |w (DE-604)BV000000607 |9 1110 | |
| 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=007279178&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007279178 | |
Record in the Search Index
| _version_ | 1820868184716083200 |
|---|---|
| adam_text |
CONTENTS
SANDRINE
BLAZY,
PHILIPPE
FACON
AN
AUTOMATIC
INTERPROCEDURAL
ANALYSIS
FOR
THE
UNDERSTANDING
OF
SCIENTIFIC
APPLICATION
PROGRAMS
.
1
MIKHAIL
A.
BULYONKOV,
DMITRIY
V.
KOCHETOV
PRACTICAL
ASPECTS
OF
SPECIALIZATION
OF
ALGOL-LIKE
PROGRAMS
.
17
WEI-NGAN
CHIN,
SIAU-CHENG
KHOO,
PETER
THIEMANN
SYNCHRONIZATION
ANALYSES
FOR
MULTIPLE
RECURSION
PARAMETERS
.
33
CHARLES
CONSEL,
LUKE
HOMOF,
FRANGOIS
NOEL,
JACQUES
NOYE,
NICOLAE
VOLANSCHI
A
UNIFORM
APPROACH
FOR
COMPILE-TIME
AND
RUN-TIME
SPECIALIZATION
.
54
OLIVIER
DANVY
PRAGMATICS
OF
TYPE-DIRECTED
PARTIAL
EVALUATION
.
73
SCOTT
DRAVES
COMPILER
GENERATION
FOR
INTERACTIVE
GRAPHICS
USING
INTERMEDIATE
CODE
.
95
JOHN
P.
GALLAGHER,
LAURA
LAFAVE
REGULAR
APPROXIMATION
OF
COMPUTATION
PATHS
IN
LOGIC
AND
FYINCTIONAL
LANGUAGES
.
115
ROBERT
GLUCK,
MORTEN
HEINE
S0RENSEN
A
ROADMAP
TO
METACOMPUTATION
BY
SUPERCOMPILATION
.
137
JOHN
HATCLIFF,
ROBERT
GLUCK
REASONING
ABOUT
HIERARCHIES
OF
ONLINE
PROGRAM
SPECIALIZATION
SYSTEMS
.
161
JOHN
HUGHES
TYPE
SPECIALISATION
FOR
THE
A-CALCULUS;
OR,
A
NEW
PARADIGM
FOR
PARTIAL
EVALUATION
BASED
ON
TYPE
INFERENCE
.
183
NEIL
D.
JONES
*
T
WHAT
NOT
TO
DO
WHEN
WRITING
AN
INTERPRETER
FOR
SPECIALISATION
.
216
JESPER
J0RGENSEN,
MICHAEL
LEUSCHEL
EFFICIENTLY
GENERATING
EFFICIENT
GENERATING
EXTENSIONS
IN
PROLOG
.
238
MICHAEL
LEUSCHEL,
BERN
MARTENS
GLOBAL
CONTROL
FOR
PARTIAL
DEDUCTION
THROUGH
CHARACTERISTIC
ATOMS
AND
GLOBAL
TREES
.
263
ALAIN
MINIUSSI,
DAVID
J.
SHERMAN
SQUEEZING
INTERMEDIATE
CONSTRUCTION
IN
EQUATIONAL
PROGRAMS
.
284
TORBEN
LB.
MOGENSEN
EVOLUTION
OF
PARTIAL
EVALUATORS:
REMOVING
INHERITED
LIMITS
.
303
XII
ANDREI
P.
NEMYTYKH,
VICTORIA
A.
PINCHUK,
VALENTIN
F.
TURCHIN
A
SELF-APPLICABLE
SUPERCOMPILER
.
322
FLEMMING
NIELSON,
HANNE
RIIS
NIELSON
MULTI-LEVEL
LAMBDA-CALCULI:
AN
ALGEBRAIC
DESCRIPTION
.
338
ALBERTO
PETTOROSSI,
MAURIZIO
PROIETTI
A
COMPARATIVE
REVISITATION
OF
SOME
PROGRAM
TRANSFORMATION
TECHNIQUES
355
ALBERTO
PETTOROSSI,
MAURIZIO
PROIETTI
A
THEORY
OF
LOGIC
PROGRAM
SPECIALIZATION
AND
GENERALIZATION
FOR
DEALING
WITH
INPUT
DATA
PROPERTIES
.
386
THOMAS
REPS,
TODD
TURNIDGE
PROGRAM
SPECIALIZATION
VIA
PROGRAM
SLICING
.
I.
.
409
ALEXANDER
SAKHAROV
SPECIALIZATION
OF
IMPERATIVE
PROGRAMS
THROUGH
ANALYSIS
OF
RELATIONAL
EXPRESSIONS
.
430
PETER
SESTOFT
ML
PATTERN
MATCH
COMPILATION
AND
PARTIAL
EVALUATION
.
446
MICHAEL
SPERBER
SELF-APPLICABLE
ONLINE
PARTIAL
EVALUATION
.
465
VALENTIN
F.
TURCHIN
METACOMPUTATION:
METASYSTEM
TRANSITIONS
PLUS
SUPERCOMPILATION
.
481
AUTHOR
INDEX
.
511
SUBJECT
INDEX
.
513 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV010885652 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.E93P37 1996 |
| callnumber-search | QA76.76.E93P37 1996 |
| callnumber-sort | QA 276.76 E93 P37 41996 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1996 SS 4800 |
| classification_tum | DAT 280f DAT 343f |
| ctrlnum | (OCoLC)35183895 (DE-599)BVBBV010885652 |
| dewey-full | 005.13/120 005.13/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/1 20 005.13/1 |
| dewey-search | 005.13/1 20 005.13/1 |
| dewey-sort | 15.13 11 220 |
| 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>00000nam a2200000 cb4500</leader><controlfield tag="001">BV010885652</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19961206</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960729s1996 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">948040718</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540615806</subfield><subfield code="9">3-540-61580-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)35183895</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010885652</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.E93P37 1996</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1 20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 280f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 343f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Partial evaluation</subfield><subfield code="b">international seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996 ; selected papers</subfield><subfield code="c">Olivier Danvy ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 514 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="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1110</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciels - Maintenance - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logiciels - Maintenance - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciels - Évaluation - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logiciels - Évaluation - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ordinateurs - Programmation - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">analyse programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">déduction partielle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">manipulation programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">métacompilation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation en logique</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="7"><subfield code="a">système multiniveau</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">transformation programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">évaluation partielle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software -- Evaluation -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software maintenance -- Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Teilauswertung</subfield><subfield code="0">(DE-588)4323152-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1996</subfield><subfield code="z">Dagstuhl</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Teilauswertung</subfield><subfield code="0">(DE-588)4323152-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Danvy, Olivier</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1110</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1110</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=007279178&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-007279178</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1996 Dagstuhl gnd-content |
| genre_facet | Konferenzschrift 1996 Dagstuhl |
| id | DE-604.BV010885652 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:20:19Z |
| institution | BVB |
| isbn | 3540615806 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007279178 |
| oclc_num | 35183895 |
| open_access_boolean | |
| owner | DE-384 DE-91G DE-BY-TUM DE-739 DE-19 DE-BY-UBM DE-20 DE-706 DE-634 DE-83 |
| owner_facet | DE-384 DE-91G DE-BY-TUM DE-739 DE-19 DE-BY-UBM DE-20 DE-706 DE-634 DE-83 |
| physical | XII, 514 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Partial evaluation international seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996 ; selected papers Olivier Danvy ... (eds.) Berlin u.a. Springer 1996 XII, 514 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1110 Logiciels - Maintenance - Congrès Logiciels - Maintenance - Congrès ram Logiciels - Évaluation - Congrès Logiciels - Évaluation - Congrès ram Ordinateurs - Programmation - Congrès ram analyse programme inriac déduction partielle inriac manipulation programme inriac métacompilation inriac programmation en logique inriac programmation fonctionnelle inriac système multiniveau inriac sémantique programme inriac transformation programme inriac évaluation partielle inriac Computer software -- Evaluation -- Congresses Software maintenance -- Congresses Teilauswertung (DE-588)4323152-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1996 Dagstuhl gnd-content Teilauswertung (DE-588)4323152-4 s DE-604 Danvy, Olivier Sonstige oth Lecture notes in computer science 1110 (DE-604)BV000000607 1110 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007279178&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Partial evaluation international seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996 ; selected papers Lecture notes in computer science Logiciels - Maintenance - Congrès Logiciels - Maintenance - Congrès ram Logiciels - Évaluation - Congrès Logiciels - Évaluation - Congrès ram Ordinateurs - Programmation - Congrès ram analyse programme inriac déduction partielle inriac manipulation programme inriac métacompilation inriac programmation en logique inriac programmation fonctionnelle inriac système multiniveau inriac sémantique programme inriac transformation programme inriac évaluation partielle inriac Computer software -- Evaluation -- Congresses Software maintenance -- Congresses Teilauswertung (DE-588)4323152-4 gnd |
| subject_GND | (DE-588)4323152-4 (DE-588)1071861417 |
| title | Partial evaluation international seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996 ; selected papers |
| title_auth | Partial evaluation international seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996 ; selected papers |
| title_exact_search | Partial evaluation international seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996 ; selected papers |
| title_full | Partial evaluation international seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996 ; selected papers Olivier Danvy ... (eds.) |
| title_fullStr | Partial evaluation international seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996 ; selected papers Olivier Danvy ... (eds.) |
| title_full_unstemmed | Partial evaluation international seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996 ; selected papers Olivier Danvy ... (eds.) |
| title_short | Partial evaluation |
| title_sort | partial evaluation international seminar dagstuhl castle germany february 12 16 1996 selected papers |
| title_sub | international seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996 ; selected papers |
| topic | Logiciels - Maintenance - Congrès Logiciels - Maintenance - Congrès ram Logiciels - Évaluation - Congrès Logiciels - Évaluation - Congrès ram Ordinateurs - Programmation - Congrès ram analyse programme inriac déduction partielle inriac manipulation programme inriac métacompilation inriac programmation en logique inriac programmation fonctionnelle inriac système multiniveau inriac sémantique programme inriac transformation programme inriac évaluation partielle inriac Computer software -- Evaluation -- Congresses Software maintenance -- Congresses Teilauswertung (DE-588)4323152-4 gnd |
| topic_facet | Logiciels - Maintenance - Congrès Logiciels - Évaluation - Congrès Ordinateurs - Programmation - Congrès analyse programme déduction partielle manipulation programme métacompilation programmation en logique programmation fonctionnelle système multiniveau sémantique programme transformation programme évaluation partielle Computer software -- Evaluation -- Congresses Software maintenance -- Congresses Teilauswertung Konferenzschrift 1996 Dagstuhl |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007279178&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT danvyolivier partialevaluationinternationalseminardagstuhlcastlegermanyfebruary12161996selectedpapers |