Fuji International Workshop on Functional and Logic Programming: Susono, Japan, July 17 - 19, 1995
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Singapore u.a.
World Scientific
1995
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 329 S. |
| ISBN: | 9810224370 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010707124 | ||
| 003 | DE-604 | ||
| 005 | 19960829 | ||
| 007 | t| | ||
| 008 | 960416s1995 xx |||| 10||| eng d | ||
| 020 | |a 9810224370 |9 981-02-2437-0 | ||
| 035 | |a (OCoLC)33207837 | ||
| 035 | |a (DE-599)BVBBV010707124 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-739 | ||
| 050 | 0 | |a QA76.62 | |
| 082 | 0 | |a 005.13 |2 20 | |
| 084 | |a DAT 544f |2 stub | ||
| 084 | |a DAT 706f |2 stub | ||
| 111 | 2 | |a Fuji International Workshop on Functional and Logic Programming |n 1 |d 1995 |c Susono |j Verfasser |0 (DE-588)1233190-9 |4 aut | |
| 245 | 1 | 0 | |a Fuji International Workshop on Functional and Logic Programming |b Susono, Japan, July 17 - 19, 1995 |c eds. Masato Takeichi ... |
| 246 | 1 | 3 | |a Functional and logic programming |
| 264 | 1 | |a Singapore u.a. |b World Scientific |c 1995 | |
| 300 | |a X, 329 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Functional programming (Computer science) |v Congresses | |
| 650 | 4 | |a Logic programming |v Congresses | |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1995 |z Susono |2 gnd-content | |
| 689 | 0 | 0 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Takeichi, Masato |e Sonstige |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007147939&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007147939 | |
Datensatz im Suchindex
| _version_ | 1820868272584654848 |
|---|---|
| adam_text |
Table
of Contents
functional Language Issues
Concurrency in Functional and Logic Programming (Invited Paper)
.1
Silvia Breitinger, Rita Loogen and
Yolanda
Ortega
Mailén
ÌTowards a Denotational
Semantics for Concurrent State Transformers
.19
Peter Thiemann
Dynamic Binding and Lexical Binding in a Transformation Calculus
.34
Jacques
Garrigue
¡Conservative Extensions of Polymorphic
PCF
.48
Yohji Akama
A X-calculus with Overloading and Inheritance
.63
Daisuke Suzuki
Type Inference for Simply-Typed Environment Calculus with Shadowing
.76
Shin-ya Nishizaki
Functional Counterparts of Some Logic Programming Techniques
.90
Tatsuru Matsushita and Colin Runciman
Functional-Logic Language Issues
A Deterministic Lazy Narrowing Calculus
.104
Aart Middeldorp
and Satoshi Okui
Completeness of Narrowing for Orthogonal Conditional Rewrite Systems
.119
Taro
Suzuki
Using First-Order Narrowing to Solve Goals of Higher-order Patterns
.134
Jun
Liu and Zhenyu Qian
Equivalence Between the Quotient Term Model and the Least Complete
Herbrand
Model for a Functional-Logic Language
.148
Makoto
Hamaná
An Efficient Calculus for Constraint Functional-Logic Programming Languages
.164
Shigeo Sasaki
Program Transformation and Specialization
Fusion and Tupling Transformations: Synergies and Conflicts (Invited Paper)
. .176
Wei-Ngan Chin
Promotional Transformation of Monadic Programs
.196
Zhenjiang Hu and Hideya Iwasaki
A Tabulation Transformation Tactic Using Haskell Arrays
.211
Cristobal
Pareja-Flores, Ricardo Peña-
Marí
and J.
Ángel Velázquez-Iturbide
Efficient Call-by-value Evaluation of Primitive Recursive Program Schemes
----224
Andrea
Mößle
and
Heiko Vogler
The Generation of a Higher-Order Online Partial
Evaluator
.239
Peter Thiemann and Robert
Glück
Binding Time Analysis for Data Type Specialization
.254
Masami
Hagiya and Kouhei lino
Implementation Techniques
Parallel Functional Implementations: Graphbased vs.
Stackbased
Reduction
.270
Guido
Hogea
A Throw-away Compiler for a Lazy Functional Language
.287
David Wakeling
Generating Fast Garbage Collection Methods for Declarative Languages
.301
Hendrik
C.R. Lock,
Gabriele
Keller and Manuel M.T. Chakravarty
Compiling Programs of an Applicative Narrowing Calculus
.316
Koji
Nakagawa, Tomoyuki Nishioka and
Taro
Suzuki |
| any_adam_object | 1 |
| author_corporate | Fuji International Workshop on Functional and Logic Programming Susono |
| author_corporate_role | aut |
| author_facet | Fuji International Workshop on Functional and Logic Programming Susono |
| author_sort | Fuji International Workshop on Functional and Logic Programming Susono |
| building | Verbundindex |
| bvnumber | BV010707124 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.62 |
| callnumber-search | QA76.62 |
| callnumber-sort | QA 276.62 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1995 |
| classification_tum | DAT 544f DAT 706f |
| ctrlnum | (OCoLC)33207837 (DE-599)BVBBV010707124 |
| 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 | Conference Proceeding 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">BV010707124</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19960829</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960416s1995 xx |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9810224370</subfield><subfield code="9">981-02-2437-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)33207837</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010707124</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><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.62</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">20</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 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Fuji International Workshop on Functional and Logic Programming</subfield><subfield code="n">1</subfield><subfield code="d">1995</subfield><subfield code="c">Susono</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1233190-9</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Fuji International Workshop on Functional and Logic Programming</subfield><subfield code="b">Susono, Japan, July 17 - 19, 1995</subfield><subfield code="c">eds. Masato Takeichi ...</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Functional and logic programming</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore u.a.</subfield><subfield code="b">World Scientific</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 329 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">Functional programming (Computer science)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</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">1995</subfield><subfield code="z">Susono</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Takeichi, Masato</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</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=007147939&sequence=000002&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-007147939</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1995 Susono gnd-content |
| genre_facet | Konferenzschrift 1995 Susono |
| id | DE-604.BV010707124 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T13:21:44Z |
| institution | BVB |
| institution_GND | (DE-588)1233190-9 |
| isbn | 9810224370 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007147939 |
| oclc_num | 33207837 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-739 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-739 |
| physical | X, 329 S. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | World Scientific |
| record_format | marc |
| spelling | Fuji International Workshop on Functional and Logic Programming 1 1995 Susono Verfasser (DE-588)1233190-9 aut Fuji International Workshop on Functional and Logic Programming Susono, Japan, July 17 - 19, 1995 eds. Masato Takeichi ... Functional and logic programming Singapore u.a. World Scientific 1995 X, 329 S. txt rdacontent n rdamedia nc rdacarrier Functional programming (Computer science) Congresses Logic programming Congresses Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Funktionale Programmierung (DE-588)4198740-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1995 Susono gnd-content Funktionale Programmierung (DE-588)4198740-8 s DE-604 Logische Programmierung (DE-588)4195096-3 s Takeichi, Masato Sonstige oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007147939&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Fuji International Workshop on Functional and Logic Programming Susono, Japan, July 17 - 19, 1995 Functional programming (Computer science) Congresses Logic programming Congresses Logische Programmierung (DE-588)4195096-3 gnd Funktionale Programmierung (DE-588)4198740-8 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)4198740-8 (DE-588)1071861417 |
| title | Fuji International Workshop on Functional and Logic Programming Susono, Japan, July 17 - 19, 1995 |
| title_alt | Functional and logic programming |
| title_auth | Fuji International Workshop on Functional and Logic Programming Susono, Japan, July 17 - 19, 1995 |
| title_exact_search | Fuji International Workshop on Functional and Logic Programming Susono, Japan, July 17 - 19, 1995 |
| title_full | Fuji International Workshop on Functional and Logic Programming Susono, Japan, July 17 - 19, 1995 eds. Masato Takeichi ... |
| title_fullStr | Fuji International Workshop on Functional and Logic Programming Susono, Japan, July 17 - 19, 1995 eds. Masato Takeichi ... |
| title_full_unstemmed | Fuji International Workshop on Functional and Logic Programming Susono, Japan, July 17 - 19, 1995 eds. Masato Takeichi ... |
| title_short | Fuji International Workshop on Functional and Logic Programming |
| title_sort | fuji international workshop on functional and logic programming susono japan july 17 19 1995 |
| title_sub | Susono, Japan, July 17 - 19, 1995 |
| topic | Functional programming (Computer science) Congresses Logic programming Congresses Logische Programmierung (DE-588)4195096-3 gnd Funktionale Programmierung (DE-588)4198740-8 gnd |
| topic_facet | Functional programming (Computer science) Congresses Logic programming Congresses Logische Programmierung Funktionale Programmierung Konferenzschrift 1995 Susono |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007147939&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT fujiinternationalworkshoponfunctionalandlogicprogrammingsusono fujiinternationalworkshoponfunctionalandlogicprogrammingsusonojapanjuly17191995 AT takeichimasato fujiinternationalworkshoponfunctionalandlogicprogrammingsusonojapanjuly17191995 AT fujiinternationalworkshoponfunctionalandlogicprogrammingsusono functionalandlogicprogramming AT takeichimasato functionalandlogicprogramming |