The semantics of logic programming as a programming language:
Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Pisa
1991
|
| Schriftenreihe: | Università degli Studi <Pisa> / Dipartimento di Informatica: Technical report
1991,10 |
| Schlagwörter: | |
| Abstract: | Abstract: "The paper is a general overview of our approach to the semantics of logic programs whose aim is finding notions of models which really capture the operational semantics, and are therefore useful for defining program equivalences and for semantics-based program analysis. The approach leads to the introduction of extended interpretations which are more expressive than Herbrand interpretations. The semantics in terms of extended interpretations can be obtained as a result of both an operational and a fixpoint construction. It can also be characterized from the model-theoretic viewpoint, by defining a set of extended models which contains standard Herbrand models The original construction for positive programs is shown to be applicable to other classes of logic programs, such as constraint logic programs, open programs, concurrent constraint programs and general programs. |
| Umfang: | 22 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010844241 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t| | ||
| 008 | 960711s1991 xx |||| 00||| engod | ||
| 035 | |a (OCoLC)27332732 | ||
| 035 | |a (DE-599)BVBBV010844241 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Gabbrielli, Maurizio |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The semantics of logic programming as a programming language |c M. Gabbrielli ; G. Levi |
| 264 | 1 | |a Pisa |c 1991 | |
| 300 | |a 22 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Università degli Studi <Pisa> / Dipartimento di Informatica: Technical report |v 1991,10 | |
| 520 | 3 | |a Abstract: "The paper is a general overview of our approach to the semantics of logic programs whose aim is finding notions of models which really capture the operational semantics, and are therefore useful for defining program equivalences and for semantics-based program analysis. The approach leads to the introduction of extended interpretations which are more expressive than Herbrand interpretations. The semantics in terms of extended interpretations can be obtained as a result of both an operational and a fixpoint construction. It can also be characterized from the model-theoretic viewpoint, by defining a set of extended models which contains standard Herbrand models | |
| 520 | 3 | |a The original construction for positive programs is shown to be applicable to other classes of logic programs, such as constraint logic programs, open programs, concurrent constraint programs and general programs. | |
| 650 | 4 | |a Logic programming | |
| 700 | 1 | |a Levi, Giorgio |d 1942- |e Verfasser |0 (DE-588)1077828853 |4 aut | |
| 810 | 2 | |a Dipartimento di Informatica: Technical report |t Università degli Studi <Pisa> |v 1991,10 |w (DE-604)BV010841375 |9 1991,10 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007249375 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0111 2001 B 6106-1991,10 |
|---|---|
| DE-BY-TUM_katkey | 751840 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010271982 |
| _version_ | 1821931332863787009 |
| any_adam_object | |
| author | Gabbrielli, Maurizio Levi, Giorgio 1942- |
| author_GND | (DE-588)1077828853 |
| author_facet | Gabbrielli, Maurizio Levi, Giorgio 1942- |
| author_role | aut aut |
| author_sort | Gabbrielli, Maurizio |
| author_variant | m g mg g l gl |
| building | Verbundindex |
| bvnumber | BV010844241 |
| ctrlnum | (OCoLC)27332732 (DE-599)BVBBV010844241 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01936nam a2200313 cb4500</leader><controlfield tag="001">BV010844241</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960711s1991 xx |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)27332732</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010844241</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-91G</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gabbrielli, Maurizio</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The semantics of logic programming as a programming language</subfield><subfield code="c">M. Gabbrielli ; G. Levi</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Pisa</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">22 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">Università degli Studi <Pisa> / Dipartimento di Informatica: Technical report</subfield><subfield code="v">1991,10</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "The paper is a general overview of our approach to the semantics of logic programs whose aim is finding notions of models which really capture the operational semantics, and are therefore useful for defining program equivalences and for semantics-based program analysis. The approach leads to the introduction of extended interpretations which are more expressive than Herbrand interpretations. The semantics in terms of extended interpretations can be obtained as a result of both an operational and a fixpoint construction. It can also be characterized from the model-theoretic viewpoint, by defining a set of extended models which contains standard Herbrand models</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">The original construction for positive programs is shown to be applicable to other classes of logic programs, such as constraint logic programs, open programs, concurrent constraint programs and general programs.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Levi, Giorgio</subfield><subfield code="d">1942-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1077828853</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Dipartimento di Informatica: Technical report</subfield><subfield code="t">Università degli Studi <Pisa></subfield><subfield code="v">1991,10</subfield><subfield code="w">(DE-604)BV010841375</subfield><subfield code="9">1991,10</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007249375</subfield></datafield></record></collection> |
| id | DE-604.BV010844241 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T10:01:48Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007249375 |
| oclc_num | 27332732 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 22 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| record_format | marc |
| series2 | Università degli Studi <Pisa> / Dipartimento di Informatica: Technical report |
| spellingShingle | Gabbrielli, Maurizio Levi, Giorgio 1942- The semantics of logic programming as a programming language Logic programming |
| title | The semantics of logic programming as a programming language |
| title_auth | The semantics of logic programming as a programming language |
| title_exact_search | The semantics of logic programming as a programming language |
| title_full | The semantics of logic programming as a programming language M. Gabbrielli ; G. Levi |
| title_fullStr | The semantics of logic programming as a programming language M. Gabbrielli ; G. Levi |
| title_full_unstemmed | The semantics of logic programming as a programming language M. Gabbrielli ; G. Levi |
| title_short | The semantics of logic programming as a programming language |
| title_sort | the semantics of logic programming as a programming language |
| topic | Logic programming |
| topic_facet | Logic programming |
| volume_link | (DE-604)BV010841375 |
| work_keys_str_mv | AT gabbriellimaurizio thesemanticsoflogicprogrammingasaprogramminglanguage AT levigiorgio thesemanticsoflogicprogrammingasaprogramminglanguage |
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik, Berichte
| Signatur: |
0111 2001 B 6106-1991,10
Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |