Proceedings of the second International Workshop on Functional/Logic Programming: [Rattenberg, Germany, January 27 - 29, 1993]
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | Undetermined |
| Published: |
München
Univ. München, Inst. für Informatik
1993
|
| Series: | Institut für Informatik <München, Universität>: Bericht
1993,11 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 160 S. graph. Darst. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009662541 | ||
| 003 | DE-604 | ||
| 005 | 19990811 | ||
| 007 | t | ||
| 008 | 940620s1993 d||| |||| 10||| und d | ||
| 035 | |a (OCoLC)165153029 | ||
| 035 | |a (DE-599)BVBBV009662541 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | |a und | ||
| 049 | |a DE-29T |a DE-12 |a DE-91 | ||
| 084 | |a DAT 544f |2 stub | ||
| 084 | |a DAT 706f |2 stub | ||
| 111 | 2 | |a International Workshop on Functional/Logic Programming |n 2 |d 1993 |c Rattenberg |j Verfasser |0 (DE-588)16135221-2 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the second International Workshop on Functional/Logic Programming |b [Rattenberg, Germany, January 27 - 29, 1993] |c Andy Mück (ed.) |
| 264 | 1 | |a München |b Univ. München, Inst. für Informatik |c 1993 | |
| 300 | |a 160 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Institut für Informatik <München, Universität>: Bericht |v 1993,11 | |
| 650 | 0 | 7 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1993 |z Rattenberg |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 Mück, Andy |e Sonstige |4 oth | |
| 830 | 0 | |a Institut für Informatik <München, Universität>: Bericht |v 1993,11 |w (DE-604)BV009661873 |9 1993,11 | |
| 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=006389353&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006389353 | ||
Record in the Search Index
| _version_ | 1804124006316507136 |
|---|---|
| adam_text | Table
of
Contents
page
Werner Hans.
Slephan Winkler
Werner Hans,
Slephan Winkler
Heibert Kuchen.
F.J. Lopez-Fmgaas
Michael
Golhter
A. Werner, A.
Bock-
mayr, S. Kriscker
Hendrik
С.Ќ.
Lock
Michael
Harna
Michael
Hanuš.
Berthold
Josephs
Vincem
Pointez
Andy
Miiek
Feixiong Un
Andreas Krall
M. Chakravany,
M. Köhler. H. Lock
Martin
КШег
Silvia Breitmger.
Hendrik C.R.Lack
Aliasing and Groundness Analysis of Logic Programs
1
through Abstract Interpretation and its Safety
Abstract Interpretation of Functional Logic Languages
3
Result Directed Computing to a Functional Logic
Lan-
14
guage
An Order-Sorted Functional-Logical Language with
35
LSE-Tests
How to Realize
LSE
Narrowing
30
ReskkunOn and Type Conn™««
60
Operational Semantics of Equations! Logic Languages
68
A Debugging Model for Functional Logic Programs
91
MLOG: A Pragmatic Extension of ML with Logical
IOS
Variables, Unification and Suspensions
CAMEL: A Verified Abstract Machine for Functional HI
Logic Programming
A WAM Extension for the Outermost Resolution
118
Clause
Indexing in
VAM
and
WAM
based Compilers
130
Modelling Parallel Algorithms using CF
139
Towards
a Linear
Logic
Semantici
(or CF
149
Using Constraint Logic Programming for industrial
155
Production Planning
|
| any_adam_object | 1 |
| author_corporate | International Workshop on Functional/Logic Programming Rattenberg |
| author_corporate_role | aut |
| author_facet | International Workshop on Functional/Logic Programming Rattenberg |
| author_sort | International Workshop on Functional/Logic Programming Rattenberg |
| building | Verbundindex |
| bvnumber | BV009662541 |
| classification_tum | DAT 544f DAT 706f |
| ctrlnum | (OCoLC)165153029 (DE-599)BVBBV009662541 |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01836nam a2200397 cb4500</leader><controlfield tag="001">BV009662541</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19990811 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940620s1993 d||| |||| 10||| und d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)165153029</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009662541</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=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-91</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">International Workshop on Functional/Logic Programming</subfield><subfield code="n">2</subfield><subfield code="d">1993</subfield><subfield code="c">Rattenberg</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)16135221-2</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the second International Workshop on Functional/Logic Programming</subfield><subfield code="b">[Rattenberg, Germany, January 27 - 29, 1993]</subfield><subfield code="c">Andy Mück (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Univ. München, Inst. für Informatik</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">160 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">Institut für Informatik <München, Universität>: Bericht</subfield><subfield code="v">1993,11</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="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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1993</subfield><subfield code="z">Rattenberg</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">Mück, Andy</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Institut für Informatik <München, Universität>: Bericht</subfield><subfield code="v">1993,11</subfield><subfield code="w">(DE-604)BV009661873</subfield><subfield code="9">1993,11</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=006389353&sequence=000002&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-006389353</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1993 Rattenberg gnd-content |
| genre_facet | Konferenzschrift 1993 Rattenberg |
| id | DE-604.BV009662541 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:38:48Z |
| institution | BVB |
| institution_GND | (DE-588)16135221-2 |
| language | Undetermined |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006389353 |
| oclc_num | 165153029 |
| open_access_boolean | |
| owner | DE-29T DE-12 DE-91 DE-BY-TUM |
| owner_facet | DE-29T DE-12 DE-91 DE-BY-TUM |
| physical | 160 S. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Univ. München, Inst. für Informatik |
| record_format | marc |
| series | Institut für Informatik <München, Universität>: Bericht |
| series2 | Institut für Informatik <München, Universität>: Bericht |
| spelling | International Workshop on Functional/Logic Programming 2 1993 Rattenberg Verfasser (DE-588)16135221-2 aut Proceedings of the second International Workshop on Functional/Logic Programming [Rattenberg, Germany, January 27 - 29, 1993] Andy Mück (ed.) München Univ. München, Inst. für Informatik 1993 160 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Institut für Informatik <München, Universität>: Bericht 1993,11 Funktionale Programmierung (DE-588)4198740-8 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1993 Rattenberg gnd-content Funktionale Programmierung (DE-588)4198740-8 s DE-604 Logische Programmierung (DE-588)4195096-3 s Mück, Andy Sonstige oth Institut für Informatik <München, Universität>: Bericht 1993,11 (DE-604)BV009661873 1993,11 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006389353&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings of the second International Workshop on Functional/Logic Programming [Rattenberg, Germany, January 27 - 29, 1993] Institut für Informatik <München, Universität>: Bericht Funktionale Programmierung (DE-588)4198740-8 gnd Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)4198740-8 (DE-588)4195096-3 (DE-588)1071861417 |
| title | Proceedings of the second International Workshop on Functional/Logic Programming [Rattenberg, Germany, January 27 - 29, 1993] |
| title_auth | Proceedings of the second International Workshop on Functional/Logic Programming [Rattenberg, Germany, January 27 - 29, 1993] |
| title_exact_search | Proceedings of the second International Workshop on Functional/Logic Programming [Rattenberg, Germany, January 27 - 29, 1993] |
| title_full | Proceedings of the second International Workshop on Functional/Logic Programming [Rattenberg, Germany, January 27 - 29, 1993] Andy Mück (ed.) |
| title_fullStr | Proceedings of the second International Workshop on Functional/Logic Programming [Rattenberg, Germany, January 27 - 29, 1993] Andy Mück (ed.) |
| title_full_unstemmed | Proceedings of the second International Workshop on Functional/Logic Programming [Rattenberg, Germany, January 27 - 29, 1993] Andy Mück (ed.) |
| title_short | Proceedings of the second International Workshop on Functional/Logic Programming |
| title_sort | proceedings of the second international workshop on functional logic programming rattenberg germany january 27 29 1993 |
| title_sub | [Rattenberg, Germany, January 27 - 29, 1993] |
| topic | Funktionale Programmierung (DE-588)4198740-8 gnd Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Funktionale Programmierung Logische Programmierung Konferenzschrift 1993 Rattenberg |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006389353&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV009661873 |
| work_keys_str_mv | AT internationalworkshoponfunctionallogicprogrammingrattenberg proceedingsofthesecondinternationalworkshoponfunctionallogicprogrammingrattenberggermanyjanuary27291993 AT muckandy proceedingsofthesecondinternationalworkshoponfunctionallogicprogrammingrattenberggermanyjanuary27291993 |