A mathematical framework for the problem of combination of Prolog programs:
Abstract: "The purpose of this paper is to describe a mathematical framework which supports our environment for the construction of complex Prolog programs by combining simpler Prolog programs described in [VV92]. This framework includes three groups of properties: correctness properties which...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Edinburgh
1992
|
| Schriftenreihe: | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper
612 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "The purpose of this paper is to describe a mathematical framework which supports our environment for the construction of complex Prolog programs by combining simpler Prolog programs described in [VV92]. This framework includes three groups of properties: correctness properties which hold after applying each composition method; properties for the type of program which is obtained in each stage of the combining process and properties for the definition of the join specification. Our motivation for providing this framework is to guarantee the soundness of the composition process at the three levels ie. on our methods, on the type of combined program and properties which are useful to the user level." |
| Beschreibung: | 16 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010460954 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 951102s1992 |||| 00||| engod | ||
| 035 | |a (OCoLC)31223365 | ||
| 035 | |a (DE-599)BVBBV010460954 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Vargas-Vera, María |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A mathematical framework for the problem of combination of Prolog programs |c Maria Vargas-Vera, Dave Robertson and Robert Inder |
| 264 | 1 | |a Edinburgh |c 1992 | |
| 300 | |a 16 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 612 | |
| 520 | 3 | |a Abstract: "The purpose of this paper is to describe a mathematical framework which supports our environment for the construction of complex Prolog programs by combining simpler Prolog programs described in [VV92]. This framework includes three groups of properties: correctness properties which hold after applying each composition method; properties for the type of program which is obtained in each stage of the combining process and properties for the definition of the join specification. Our motivation for providing this framework is to guarantee the soundness of the composition process at the three levels ie. on our methods, on the type of combined program and properties which are useful to the user level." | |
| 650 | 7 | |a Applied statistics, operational research |2 sigle | |
| 650 | 7 | |a Computer software |2 sigle | |
| 650 | 4 | |a Prolog (Computer program language) | |
| 700 | 1 | |a Robertson, Dave |e Verfasser |4 aut | |
| 700 | 1 | |a Inder, Robert |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Artificial Intelligence: DAI research paper |t University <Edinburgh> |v 612 |w (DE-604)BV010450646 |9 612 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006969708 | ||
Datensatz im Suchindex
| _version_ | 1804124892289826816 |
|---|---|
| any_adam_object | |
| author | Vargas-Vera, María Robertson, Dave Inder, Robert |
| author_facet | Vargas-Vera, María Robertson, Dave Inder, Robert |
| author_role | aut aut aut |
| author_sort | Vargas-Vera, María |
| author_variant | m v v mvv d r dr r i ri |
| building | Verbundindex |
| bvnumber | BV010460954 |
| ctrlnum | (OCoLC)31223365 (DE-599)BVBBV010460954 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01929nam a2200337 cb4500</leader><controlfield tag="001">BV010460954</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951102s1992 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31223365</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010460954</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">Vargas-Vera, María</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A mathematical framework for the problem of combination of Prolog programs</subfield><subfield code="c">Maria Vargas-Vera, Dave Robertson and Robert Inder</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Edinburgh</subfield><subfield code="c">1992</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">University <Edinburgh> / Department of Artificial Intelligence: DAI research paper</subfield><subfield code="v">612</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "The purpose of this paper is to describe a mathematical framework which supports our environment for the construction of complex Prolog programs by combining simpler Prolog programs described in [VV92]. This framework includes three groups of properties: correctness properties which hold after applying each composition method; properties for the type of program which is obtained in each stage of the combining process and properties for the definition of the join specification. Our motivation for providing this framework is to guarantee the soundness of the composition process at the three levels ie. on our methods, on the type of combined program and properties which are useful to the user level."</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Applied statistics, operational research</subfield><subfield code="2">sigle</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="700" ind1="1" ind2=" "><subfield code="a">Robertson, Dave</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Inder, Robert</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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">612</subfield><subfield code="w">(DE-604)BV010450646</subfield><subfield code="9">612</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006969708</subfield></datafield></record></collection> |
| id | DE-604.BV010460954 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:52:53Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006969708 |
| oclc_num | 31223365 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 16 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| record_format | marc |
| series2 | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |
| spelling | Vargas-Vera, María Verfasser aut A mathematical framework for the problem of combination of Prolog programs Maria Vargas-Vera, Dave Robertson and Robert Inder Edinburgh 1992 16 S. txt rdacontent n rdamedia nc rdacarrier University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 612 Abstract: "The purpose of this paper is to describe a mathematical framework which supports our environment for the construction of complex Prolog programs by combining simpler Prolog programs described in [VV92]. This framework includes three groups of properties: correctness properties which hold after applying each composition method; properties for the type of program which is obtained in each stage of the combining process and properties for the definition of the join specification. Our motivation for providing this framework is to guarantee the soundness of the composition process at the three levels ie. on our methods, on the type of combined program and properties which are useful to the user level." Applied statistics, operational research sigle Computer software sigle Prolog (Computer program language) Robertson, Dave Verfasser aut Inder, Robert Verfasser aut Department of Artificial Intelligence: DAI research paper University <Edinburgh> 612 (DE-604)BV010450646 612 |
| spellingShingle | Vargas-Vera, María Robertson, Dave Inder, Robert A mathematical framework for the problem of combination of Prolog programs Applied statistics, operational research sigle Computer software sigle Prolog (Computer program language) |
| title | A mathematical framework for the problem of combination of Prolog programs |
| title_auth | A mathematical framework for the problem of combination of Prolog programs |
| title_exact_search | A mathematical framework for the problem of combination of Prolog programs |
| title_full | A mathematical framework for the problem of combination of Prolog programs Maria Vargas-Vera, Dave Robertson and Robert Inder |
| title_fullStr | A mathematical framework for the problem of combination of Prolog programs Maria Vargas-Vera, Dave Robertson and Robert Inder |
| title_full_unstemmed | A mathematical framework for the problem of combination of Prolog programs Maria Vargas-Vera, Dave Robertson and Robert Inder |
| title_short | A mathematical framework for the problem of combination of Prolog programs |
| title_sort | a mathematical framework for the problem of combination of prolog programs |
| topic | Applied statistics, operational research sigle Computer software sigle Prolog (Computer program language) |
| topic_facet | Applied statistics, operational research Computer software Prolog (Computer program language) |
| volume_link | (DE-604)BV010450646 |
| work_keys_str_mv | AT vargasveramaria amathematicalframeworkfortheproblemofcombinationofprologprograms AT robertsondave amathematicalframeworkfortheproblemofcombinationofprologprograms AT inderrobert amathematicalframeworkfortheproblemofcombinationofprologprograms |