A logic for variable aliasing in logic programs:
Abstract: "This paper introduces a logic for a class of properties -- in particular variable aliasing -- used in static analysis of logic programs. The logic is shown to be sound, complete, and decidable. Moreover, it is illustrated how this logic can be applied to automatize some parts of the...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
1994
|
| Series: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
94,46 |
| Subjects: | |
| Summary: | Abstract: "This paper introduces a logic for a class of properties -- in particular variable aliasing -- used in static analysis of logic programs. The logic is shown to be sound, complete, and decidable. Moreover, it is illustrated how this logic can be applied to automatize some parts of the reasoning when proving the partial correctness of a logic program." |
| Physical Description: | 16 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010157206 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 950427s1994 |||| 00||| engod | ||
| 035 | |a (OCoLC)32842744 | ||
| 035 | |a (DE-599)BVBBV010157206 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 100 | 1 | |a Marchiori, Elena |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A logic for variable aliasing in logic programs |c E. Marchiori |
| 264 | 1 | |a Amsterdam |c 1994 | |
| 300 | |a 16 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |v 94,46 | |
| 520 | 3 | |a Abstract: "This paper introduces a logic for a class of properties -- in particular variable aliasing -- used in static analysis of logic programs. The logic is shown to be sound, complete, and decidable. Moreover, it is illustrated how this logic can be applied to automatize some parts of the reasoning when proving the partial correctness of a logic program." | |
| 650 | 4 | |a Logic programming | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 94,46 |w (DE-604)BV008928356 |9 94,46 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006747222 | ||
Record in the Search Index
| _version_ | 1804124554243604480 |
|---|---|
| any_adam_object | |
| author | Marchiori, Elena |
| author_facet | Marchiori, Elena |
| author_role | aut |
| author_sort | Marchiori, Elena |
| author_variant | e m em |
| building | Verbundindex |
| bvnumber | BV010157206 |
| ctrlnum | (OCoLC)32842744 (DE-599)BVBBV010157206 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01293nam a2200277 cb4500</leader><controlfield tag="001">BV010157206</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950427s1994 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)32842744</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010157206</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="100" ind1="1" ind2=" "><subfield code="a">Marchiori, Elena</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A logic for variable aliasing in logic programs</subfield><subfield code="c">E. Marchiori</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">16 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">Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS</subfield><subfield code="v">94,46</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "This paper introduces a logic for a class of properties -- in particular variable aliasing -- used in static analysis of logic programs. The logic is shown to be sound, complete, and decidable. Moreover, it is illustrated how this logic can be applied to automatize some parts of the reasoning when proving the partial correctness of a logic program."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Report CS</subfield><subfield code="t">Centrum voor Wiskunde en Informatica <Amsterdam></subfield><subfield code="v">94,46</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">94,46</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006747222</subfield></datafield></record></collection> |
| id | DE-604.BV010157206 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:47:30Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006747222 |
| oclc_num | 32842744 |
| open_access_boolean | |
| physical | 16 S. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Marchiori, Elena Verfasser aut A logic for variable aliasing in logic programs E. Marchiori Amsterdam 1994 16 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 94,46 Abstract: "This paper introduces a logic for a class of properties -- in particular variable aliasing -- used in static analysis of logic programs. The logic is shown to be sound, complete, and decidable. Moreover, it is illustrated how this logic can be applied to automatize some parts of the reasoning when proving the partial correctness of a logic program." Logic programming Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 94,46 (DE-604)BV008928356 94,46 |
| spellingShingle | Marchiori, Elena A logic for variable aliasing in logic programs Logic programming |
| title | A logic for variable aliasing in logic programs |
| title_auth | A logic for variable aliasing in logic programs |
| title_exact_search | A logic for variable aliasing in logic programs |
| title_full | A logic for variable aliasing in logic programs E. Marchiori |
| title_fullStr | A logic for variable aliasing in logic programs E. Marchiori |
| title_full_unstemmed | A logic for variable aliasing in logic programs E. Marchiori |
| title_short | A logic for variable aliasing in logic programs |
| title_sort | a logic for variable aliasing in logic programs |
| topic | Logic programming |
| topic_facet | Logic programming |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT marchiorielena alogicforvariablealiasinginlogicprograms |