Semantics-based partial evaluation of Prolog programs:
Abstract: "A semantic characterisation of the partial evaluation of Prolog programs is presented. An algebraic semantics for Prolog which models Prolog's depth-first left-to-right control scheme is first outlined. This semantics is written in Milner's Calculus of Communicating Systems...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Edinburgh
1991
|
| Schriftenreihe: | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper
531 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "A semantic characterisation of the partial evaluation of Prolog programs is presented. An algebraic semantics for Prolog which models Prolog's depth-first left-to-right control scheme is first outlined. This semantics is written in Milner's Calculus of Communicating Systems (CCS) [Mil89]. This CCS semantics can be used to analyse how logic program control affects partial evaluation transformations of Prolog programs. Partial evaluation of a source program is accomplished by applying transforms onto a program's semantic representation. Correctness and completeness are preserved when such transformations respect the source program's semantic integrity Because the semantic bisimilarities of Prolog control preserve behavioral equivalence, the semantic modelling of the basic control component of the partial evaluation process is possible. Conversely, the CCS semantics can determine whether particular partial evaluation transformations violate program completeness. |
| Beschreibung: | 14 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010453691 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 951030s1991 |||| 00||| engod | ||
| 035 | |a (OCoLC)25807937 | ||
| 035 | |a (DE-599)BVBBV010453691 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Ross, Brian J. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Semantics-based partial evaluation of Prolog programs |
| 264 | 1 | |a Edinburgh |c 1991 | |
| 300 | |a 14 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |v 531 | |
| 520 | 3 | |a Abstract: "A semantic characterisation of the partial evaluation of Prolog programs is presented. An algebraic semantics for Prolog which models Prolog's depth-first left-to-right control scheme is first outlined. This semantics is written in Milner's Calculus of Communicating Systems (CCS) [Mil89]. This CCS semantics can be used to analyse how logic program control affects partial evaluation transformations of Prolog programs. Partial evaluation of a source program is accomplished by applying transforms onto a program's semantic representation. Correctness and completeness are preserved when such transformations respect the source program's semantic integrity | |
| 520 | 3 | |a Because the semantic bisimilarities of Prolog control preserve behavioral equivalence, the semantic modelling of the basic control component of the partial evaluation process is possible. Conversely, the CCS semantics can determine whether particular partial evaluation transformations violate program completeness. | |
| 650 | 7 | |a Computer software |2 sigle | |
| 650 | 4 | |a Prolog (Computer program language) | |
| 650 | 4 | |a Semantics | |
| 810 | 2 | |a Department of Artificial Intelligence: DAI research paper |t University <Edinburgh> |v 531 |w (DE-604)BV010450646 |9 531 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006966424 | ||
Datensatz im Suchindex
| _version_ | 1804124887248273408 |
|---|---|
| any_adam_object | |
| author | Ross, Brian J. |
| author_facet | Ross, Brian J. |
| author_role | aut |
| author_sort | Ross, Brian J. |
| author_variant | b j r bj bjr |
| building | Verbundindex |
| bvnumber | BV010453691 |
| ctrlnum | (OCoLC)25807937 (DE-599)BVBBV010453691 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01998nam a2200325 cb4500</leader><controlfield tag="001">BV010453691</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951030s1991 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)25807937</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010453691</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">Ross, Brian J.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Semantics-based partial evaluation of Prolog programs</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Edinburgh</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">14 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">University <Edinburgh> / Department of Artificial Intelligence: DAI research paper</subfield><subfield code="v">531</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "A semantic characterisation of the partial evaluation of Prolog programs is presented. An algebraic semantics for Prolog which models Prolog's depth-first left-to-right control scheme is first outlined. This semantics is written in Milner's Calculus of Communicating Systems (CCS) [Mil89]. This CCS semantics can be used to analyse how logic program control affects partial evaluation transformations of Prolog programs. Partial evaluation of a source program is accomplished by applying transforms onto a program's semantic representation. Correctness and completeness are preserved when such transformations respect the source program's semantic integrity</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Because the semantic bisimilarities of Prolog control preserve behavioral equivalence, the semantic modelling of the basic control component of the partial evaluation process is possible. Conversely, the CCS semantics can determine whether particular partial evaluation transformations violate program completeness.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software</subfield><subfield code="2">sigle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Prolog (Computer program language)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Artificial Intelligence: DAI research paper</subfield><subfield code="t">University <Edinburgh></subfield><subfield code="v">531</subfield><subfield code="w">(DE-604)BV010450646</subfield><subfield code="9">531</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006966424</subfield></datafield></record></collection> |
| id | DE-604.BV010453691 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:52:48Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006966424 |
| oclc_num | 25807937 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 14 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| record_format | marc |
| series2 | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |
| spelling | Ross, Brian J. Verfasser aut Semantics-based partial evaluation of Prolog programs Edinburgh 1991 14 S. txt rdacontent n rdamedia nc rdacarrier University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 531 Abstract: "A semantic characterisation of the partial evaluation of Prolog programs is presented. An algebraic semantics for Prolog which models Prolog's depth-first left-to-right control scheme is first outlined. This semantics is written in Milner's Calculus of Communicating Systems (CCS) [Mil89]. This CCS semantics can be used to analyse how logic program control affects partial evaluation transformations of Prolog programs. Partial evaluation of a source program is accomplished by applying transforms onto a program's semantic representation. Correctness and completeness are preserved when such transformations respect the source program's semantic integrity Because the semantic bisimilarities of Prolog control preserve behavioral equivalence, the semantic modelling of the basic control component of the partial evaluation process is possible. Conversely, the CCS semantics can determine whether particular partial evaluation transformations violate program completeness. Computer software sigle Prolog (Computer program language) Semantics Department of Artificial Intelligence: DAI research paper University <Edinburgh> 531 (DE-604)BV010450646 531 |
| spellingShingle | Ross, Brian J. Semantics-based partial evaluation of Prolog programs Computer software sigle Prolog (Computer program language) Semantics |
| title | Semantics-based partial evaluation of Prolog programs |
| title_auth | Semantics-based partial evaluation of Prolog programs |
| title_exact_search | Semantics-based partial evaluation of Prolog programs |
| title_full | Semantics-based partial evaluation of Prolog programs |
| title_fullStr | Semantics-based partial evaluation of Prolog programs |
| title_full_unstemmed | Semantics-based partial evaluation of Prolog programs |
| title_short | Semantics-based partial evaluation of Prolog programs |
| title_sort | semantics based partial evaluation of prolog programs |
| topic | Computer software sigle Prolog (Computer program language) Semantics |
| topic_facet | Computer software Prolog (Computer program language) Semantics |
| volume_link | (DE-604)BV010450646 |
| work_keys_str_mv | AT rossbrianj semanticsbasedpartialevaluationofprologprograms |