The integration of functions into logic programming: a survey
Abstract: "Functional and logic programming are the most important declarative programming paradigms, and interest in combining them has grown over the last decade. Early research concentrated on the definition and improvement of execution principles for such integrated languages, while more re...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Saarbrücken
MPI Informatik
1994
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Summary: | Abstract: "Functional and logic programming are the most important declarative programming paradigms, and interest in combining them has grown over the last decade. Early research concentrated on the definition and improvement of execution principles for such integrated languages, while more recently efficient implementations of these execution principles have been developed so that these languages became relevant for practical applications. In this paper we survey the development of the operational semantics as well as the improvement of the implementation of functional logic languages." |
| Item Description: | Literaturverz. S. 40 - 48 |
| Physical Description: | 48 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009677177 | ||
| 003 | DE-604 | ||
| 005 | 19940812 | ||
| 007 | t | ||
| 008 | 940620s1994 gw t||| 00||| eng d | ||
| 016 | 7 | |a 941158713 |2 DE-101 | |
| 035 | |a (OCoLC)30496460 | ||
| 035 | |a (DE-599)BVBBV009677177 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-634 | ||
| 088 | |a MPI I 94 201 | ||
| 100 | 1 | |a Hanus, Michael |d 1959- |e Verfasser |0 (DE-588)1011507609 |4 aut | |
| 245 | 1 | 0 | |a The integration of functions into logic programming |b a survey |c Michael Hanus. [Max-Planck-Institut für Informatik] |
| 264 | 1 | |a Saarbrücken |b MPI Informatik |c 1994 | |
| 300 | |a 48 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverz. S. 40 - 48 | ||
| 520 | 3 | |a Abstract: "Functional and logic programming are the most important declarative programming paradigms, and interest in combining them has grown over the last decade. Early research concentrated on the definition and improvement of execution principles for such integrated languages, while more recently efficient implementations of these execution principles have been developed so that these languages became relevant for practical applications. In this paper we survey the development of the operational semantics as well as the improvement of the implementation of functional logic languages." | |
| 650 | 4 | |a Logic programming | |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |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=006400113&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006400113 | ||
Record in the Search Index
| _version_ | 1804124022546366464 |
|---|---|
| any_adam_object | 1 |
| author | Hanus, Michael 1959- |
| author_GND | (DE-588)1011507609 |
| author_facet | Hanus, Michael 1959- |
| author_role | aut |
| author_sort | Hanus, Michael 1959- |
| author_variant | m h mh |
| building | Verbundindex |
| bvnumber | BV009677177 |
| ctrlnum | (OCoLC)30496460 (DE-599)BVBBV009677177 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01920nam a2200361 c 4500</leader><controlfield tag="001">BV009677177</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19940812 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940620s1994 gw t||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">941158713</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)30496460</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009677177</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-634</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">MPI I 94 201</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hanus, Michael</subfield><subfield code="d">1959-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1011507609</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The integration of functions into logic programming</subfield><subfield code="b">a survey</subfield><subfield code="c">Michael Hanus. [Max-Planck-Institut für Informatik]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Saarbrücken</subfield><subfield code="b">MPI Informatik</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">48 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="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 40 - 48</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Functional and logic programming are the most important declarative programming paradigms, and interest in combining them has grown over the last decade. Early research concentrated on the definition and improvement of execution principles for such integrated languages, while more recently efficient implementations of these execution principles have been developed so that these languages became relevant for practical applications. In this paper we survey the development of the operational semantics as well as the improvement of the implementation of functional logic languages."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</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="689" ind1="0" 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="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=006400113&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-006400113</subfield></datafield></record></collection> |
| id | DE-604.BV009677177 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:39:03Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006400113 |
| oclc_num | 30496460 |
| open_access_boolean | |
| owner | DE-634 |
| owner_facet | DE-634 |
| physical | 48 S. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | MPI Informatik |
| record_format | marc |
| spelling | Hanus, Michael 1959- Verfasser (DE-588)1011507609 aut The integration of functions into logic programming a survey Michael Hanus. [Max-Planck-Institut für Informatik] Saarbrücken MPI Informatik 1994 48 S. txt rdacontent n rdamedia nc rdacarrier Literaturverz. S. 40 - 48 Abstract: "Functional and logic programming are the most important declarative programming paradigms, and interest in combining them has grown over the last decade. Early research concentrated on the definition and improvement of execution principles for such integrated languages, while more recently efficient implementations of these execution principles have been developed so that these languages became relevant for practical applications. In this paper we survey the development of the operational semantics as well as the improvement of the implementation of functional logic languages." Logic programming Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006400113&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Hanus, Michael 1959- The integration of functions into logic programming a survey Logic programming Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)4195096-3 |
| title | The integration of functions into logic programming a survey |
| title_auth | The integration of functions into logic programming a survey |
| title_exact_search | The integration of functions into logic programming a survey |
| title_full | The integration of functions into logic programming a survey Michael Hanus. [Max-Planck-Institut für Informatik] |
| title_fullStr | The integration of functions into logic programming a survey Michael Hanus. [Max-Planck-Institut für Informatik] |
| title_full_unstemmed | The integration of functions into logic programming a survey Michael Hanus. [Max-Planck-Institut für Informatik] |
| title_short | The integration of functions into logic programming |
| title_sort | the integration of functions into logic programming a survey |
| title_sub | a survey |
| topic | Logic programming Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Logic programming Logische Programmierung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006400113&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT hanusmichael theintegrationoffunctionsintologicprogrammingasurvey |