Constraint handling rules:
Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a practical programming language based on rules. This book, written by the creator of CHR, describes the theory of CHR and how to use it in practice. It is supported by a website containing teaching materials, online...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2009
|
| Schlagworte: | |
| Online-Zugang: | BSB01 FHN01 Volltext |
| Zusammenfassung: | Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a practical programming language based on rules. This book, written by the creator of CHR, describes the theory of CHR and how to use it in practice. It is supported by a website containing teaching materials, online demos, and free downloads of the language. After a basic tutorial, the author describes in detail the CHR language and discusses guaranteed properties of CHR programs. The author then compares CHR with other formalisms and languages and illustrates how it can capture their essential features. Finally, larger programs are introduced and analyzed in detail. The book is ideal for graduate students and lecturers, and for more experienced programmers and researchers, who can use it for self-study. Exercises with selected solutions, and bibliographic remarks are included at the ends of chapters. The book is the definitive reference on the subject |
| Beschreibung: | Title from publisher's bibliographic system (viewed on 05 Oct 2015) |
| Beschreibung: | 1 online resource (xxiii, 296 pages) |
| ISBN: | 9780511609886 |
| DOI: | 10.1017/CBO9780511609886 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043943823 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 161206s2009 |||| o||u| ||||||eng d | ||
| 020 | |a 9780511609886 |c Online |9 978-0-511-60988-6 | ||
| 024 | 7 | |a 10.1017/CBO9780511609886 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9780511609886 | ||
| 035 | |a (OCoLC)838264065 | ||
| 035 | |a (DE-599)BVBBV043943823 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-92 | ||
| 082 | 0 | |a 005.1/16 |2 22 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 100 | 1 | |a Frühwirth, Thom |d 1962- |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Constraint handling rules |c Thom Frühwirth |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2009 | |
| 300 | |a 1 online resource (xxiii, 296 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Title from publisher's bibliographic system (viewed on 05 Oct 2015) | ||
| 505 | 8 | |a pt. I. CHR tutorial -- 1. Getting started -- 2. My first CHR programs -- pt. II. CHR language -- 3. Syntax and semantics -- 4. Properties of CHR -- 5. Program analysis -- 6. Rule-based and graph-based formalisms in CHR -- pt. III. CHR programs and applications -- 7. My first CHR programs, revisited for analysis -- 8. Finite domain constraint solvers -- 9. Infinite domain constraint solvers -- 10. Union-find algorithm | |
| 520 | |a Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a practical programming language based on rules. This book, written by the creator of CHR, describes the theory of CHR and how to use it in practice. It is supported by a website containing teaching materials, online demos, and free downloads of the language. After a basic tutorial, the author describes in detail the CHR language and discusses guaranteed properties of CHR programs. The author then compares CHR with other formalisms and languages and illustrates how it can capture their essential features. Finally, larger programs are introduced and analyzed in detail. The book is ideal for graduate students and lecturers, and for more experienced programmers and researchers, who can use it for self-study. Exercises with selected solutions, and bibliographic remarks are included at the ends of chapters. The book is the definitive reference on the subject | ||
| 650 | 4 | |a Constraint programming (Computer science) | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Declarative programming | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-0-521-87776-3 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/CBO9780511609886 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029352794 | ||
| 966 | e | |u https://doi.org/10.1017/CBO9780511609886 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511609886 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804176888086659072 |
|---|---|
| any_adam_object | |
| author | Frühwirth, Thom 1962- |
| author_facet | Frühwirth, Thom 1962- |
| author_role | aut |
| author_sort | Frühwirth, Thom 1962- |
| author_variant | t f tf |
| building | Verbundindex |
| bvnumber | BV043943823 |
| classification_rvk | ST 230 |
| collection | ZDB-20-CBO |
| contents | pt. I. CHR tutorial -- 1. Getting started -- 2. My first CHR programs -- pt. II. CHR language -- 3. Syntax and semantics -- 4. Properties of CHR -- 5. Program analysis -- 6. Rule-based and graph-based formalisms in CHR -- pt. III. CHR programs and applications -- 7. My first CHR programs, revisited for analysis -- 8. Finite domain constraint solvers -- 9. Infinite domain constraint solvers -- 10. Union-find algorithm |
| ctrlnum | (ZDB-20-CBO)CR9780511609886 (OCoLC)838264065 (DE-599)BVBBV043943823 |
| dewey-full | 005.1/16 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/16 |
| dewey-search | 005.1/16 |
| dewey-sort | 15.1 216 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1017/CBO9780511609886 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02958nmm a2200433zc 4500</leader><controlfield tag="001">BV043943823</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">161206s2009 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511609886</subfield><subfield code="c">Online</subfield><subfield code="9">978-0-511-60988-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/CBO9780511609886</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9780511609886</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)838264065</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043943823</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/16</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Frühwirth, Thom</subfield><subfield code="d">1962-</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Constraint handling rules</subfield><subfield code="c">Thom Frühwirth</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xxiii, 296 pages)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 05 Oct 2015)</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">pt. I. CHR tutorial -- 1. Getting started -- 2. My first CHR programs -- pt. II. CHR language -- 3. Syntax and semantics -- 4. Properties of CHR -- 5. Program analysis -- 6. Rule-based and graph-based formalisms in CHR -- pt. III. CHR programs and applications -- 7. My first CHR programs, revisited for analysis -- 8. Finite domain constraint solvers -- 9. Infinite domain constraint solvers -- 10. Union-find algorithm</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a practical programming language based on rules. This book, written by the creator of CHR, describes the theory of CHR and how to use it in practice. It is supported by a website containing teaching materials, online demos, and free downloads of the language. After a basic tutorial, the author describes in detail the CHR language and discusses guaranteed properties of CHR programs. The author then compares CHR with other formalisms and languages and illustrates how it can capture their essential features. Finally, larger programs are introduced and analyzed in detail. The book is ideal for graduate students and lecturers, and for more experienced programmers and researchers, who can use it for self-study. Exercises with selected solutions, and bibliographic remarks are included at the ends of chapters. The book is the definitive reference on the subject</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constraint programming (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Declarative programming</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-0-521-87776-3</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/CBO9780511609886</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029352794</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511609886</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511609886</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043943823 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:39:20Z |
| institution | BVB |
| isbn | 9780511609886 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029352794 |
| oclc_num | 838264065 |
| open_access_boolean | |
| owner | DE-12 DE-92 |
| owner_facet | DE-12 DE-92 |
| physical | 1 online resource (xxiii, 296 pages) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | Frühwirth, Thom 1962- Verfasser aut Constraint handling rules Thom Frühwirth Cambridge Cambridge University Press 2009 1 online resource (xxiii, 296 pages) txt rdacontent c rdamedia cr rdacarrier Title from publisher's bibliographic system (viewed on 05 Oct 2015) pt. I. CHR tutorial -- 1. Getting started -- 2. My first CHR programs -- pt. II. CHR language -- 3. Syntax and semantics -- 4. Properties of CHR -- 5. Program analysis -- 6. Rule-based and graph-based formalisms in CHR -- pt. III. CHR programs and applications -- 7. My first CHR programs, revisited for analysis -- 8. Finite domain constraint solvers -- 9. Infinite domain constraint solvers -- 10. Union-find algorithm Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a practical programming language based on rules. This book, written by the creator of CHR, describes the theory of CHR and how to use it in practice. It is supported by a website containing teaching materials, online demos, and free downloads of the language. After a basic tutorial, the author describes in detail the CHR language and discusses guaranteed properties of CHR programs. The author then compares CHR with other formalisms and languages and illustrates how it can capture their essential features. Finally, larger programs are introduced and analyzed in detail. The book is ideal for graduate students and lecturers, and for more experienced programmers and researchers, who can use it for self-study. Exercises with selected solutions, and bibliographic remarks are included at the ends of chapters. The book is the definitive reference on the subject Constraint programming (Computer science) Logic programming Declarative programming Erscheint auch als Druckausgabe 978-0-521-87776-3 https://doi.org/10.1017/CBO9780511609886 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Frühwirth, Thom 1962- Constraint handling rules pt. I. CHR tutorial -- 1. Getting started -- 2. My first CHR programs -- pt. II. CHR language -- 3. Syntax and semantics -- 4. Properties of CHR -- 5. Program analysis -- 6. Rule-based and graph-based formalisms in CHR -- pt. III. CHR programs and applications -- 7. My first CHR programs, revisited for analysis -- 8. Finite domain constraint solvers -- 9. Infinite domain constraint solvers -- 10. Union-find algorithm Constraint programming (Computer science) Logic programming Declarative programming |
| title | Constraint handling rules |
| title_auth | Constraint handling rules |
| title_exact_search | Constraint handling rules |
| title_full | Constraint handling rules Thom Frühwirth |
| title_fullStr | Constraint handling rules Thom Frühwirth |
| title_full_unstemmed | Constraint handling rules Thom Frühwirth |
| title_short | Constraint handling rules |
| title_sort | constraint handling rules |
| topic | Constraint programming (Computer science) Logic programming Declarative programming |
| topic_facet | Constraint programming (Computer science) Logic programming Declarative programming |
| url | https://doi.org/10.1017/CBO9780511609886 |
| work_keys_str_mv | AT fruhwirththom constrainthandlingrules |