{"data":{"id":"10.48550/arxiv.0906.4474","type":"dois","attributes":{"doi":"10.48550/arxiv.0906.4474","prefix":"10.48550","suffix":"arxiv.0906.4474","identifiers":[{"identifier":"0906.4474","identifierType":"arXiv"}],"alternateIdentifiers":[{"alternateIdentifierType":"arXiv","alternateIdentifier":"0906.4474"}],"creators":[{"name":"Sneyers, Jon","nameType":"Personal","givenName":"Jon","familyName":"Sneyers","affiliation":[],"nameIdentifiers":[]},{"name":"Van Weert, Peter","nameType":"Personal","givenName":"Peter","familyName":"Van Weert","affiliation":[],"nameIdentifiers":[]},{"name":"Schrijvers, Tom","nameType":"Personal","givenName":"Tom","familyName":"Schrijvers","affiliation":[],"nameIdentifiers":[]},{"name":"De Koninck, Leslie","nameType":"Personal","givenName":"Leslie","familyName":"De Koninck","affiliation":[],"nameIdentifiers":[]}],"titles":[{"title":"As time goes by: Constraint Handling Rules - A survey of CHR research from 1998 to 2007"}],"publisher":"arXiv","container":{},"publicationYear":2009,"subjects":[{"lang":"en","subject":"Programming Languages (cs.PL)","subjectScheme":"arXiv"},{"subject":"FOS: Computer and information sciences","subjectScheme":"Fields of Science and Technology (FOS)"},{"subject":"FOS: Computer and information sciences","schemeUri":"http://www.oecd.org/science/inno/38235147.pdf","subjectScheme":"Fields of Science and Technology (FOS)"},{"lang":"en","subject":"D.1.3; D.1.6; D.3.0; F.3.2; J.0","subjectScheme":"ACM"}],"contributors":[],"dates":[{"date":"2009-06-24T13:54:41Z","dateType":"Submitted","dateInformation":"v1"},{"date":"2009-12-01T12:18:56Z","dateType":"Updated","dateInformation":"v1"},{"date":"2009-06-25T13:17:41Z","dateType":"Submitted","dateInformation":"v2"},{"date":"2009-12-01T12:18:56Z","dateType":"Updated","dateInformation":"v2"},{"date":"2009-06","dateType":"Available","dateInformation":"v1"},{"date":"2009","dateType":"Issued"}],"language":null,"types":{"ris":"GEN","bibtex":"misc","citeproc":"article","schemaOrg":"CreativeWork","resourceType":"Article","resourceTypeGeneral":"Preprint"},"relatedIdentifiers":[],"relatedItems":[],"sizes":[],"formats":[],"version":"2","rightsList":[{"rights":"arXiv.org perpetual, non-exclusive license","rightsUri":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/"}],"descriptions":[{"description":"Constraint Handling Rules (CHR) is a high-level programming language based on multi-headed multiset rewrite rules. Originally designed for writing user-defined constraint solvers, it is now recognized as an elegant general purpose language. CHR-related research has surged during the decade following the previous survey by Fruehwirth. Covering more than 180 publications, this new survey provides an overview of recent results in a wide range of research areas, from semantics and analysis to systems, extensions and applications.","descriptionType":"Abstract"},{"description":"49 pages. To appear in Theory and Practice of Logic Programming","descriptionType":"Other"}],"geoLocations":[],"fundingReferences":[],"xml":"PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0idXRmLTgiPz4KPHJlc291cmNlIHhtbG5zPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCIgeG1sbnM6eHNpPSJodHRwOi8vd3d3LnczLm9yZy8yMDAxL1hNTFNjaGVtYS1pbnN0YW5jZSIgeHNpOnNjaGVtYUxvY2F0aW9uPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCBodHRwOi8vc2NoZW1hLmRhdGFjaXRlLm9yZy9tZXRhL2tlcm5lbC00LjMvbWV0YWRhdGEueHNkIj4KICA8aWRlbnRpZmllciBpZGVudGlmaWVyVHlwZT0iRE9JIj4xMC40ODU1MC9BUlhJVi4wOTA2LjQ0NzQ8L2lkZW50aWZpZXI+CiAgPGFsdGVybmF0ZUlkZW50aWZpZXJzPgogICAgPGFsdGVybmF0ZUlkZW50aWZpZXIgYWx0ZXJuYXRlSWRlbnRpZmllclR5cGU9ImFyWGl2Ij4wOTA2LjQ0NzQ8L2FsdGVybmF0ZUlkZW50aWZpZXI+CiAgPC9hbHRlcm5hdGVJZGVudGlmaWVycz4KICA8Y3JlYXRvcnM+CiAgICA8Y3JlYXRvcj4KICAgICAgPGNyZWF0b3JOYW1lIG5hbWVUeXBlPSJQZXJzb25hbCI+U25leWVycywgSm9uPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5Kb248L2dpdmVuTmFtZT4KICAgICAgPGZhbWlseU5hbWU+U25leWVyczwvZmFtaWx5TmFtZT4KICAgIDwvY3JlYXRvcj4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5WYW4gV2VlcnQsIFBldGVyPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5QZXRlcjwvZ2l2ZW5OYW1lPgogICAgICA8ZmFtaWx5TmFtZT5WYW4gV2VlcnQ8L2ZhbWlseU5hbWU+CiAgICA8L2NyZWF0b3I+CiAgICA8Y3JlYXRvcj4KICAgICAgPGNyZWF0b3JOYW1lIG5hbWVUeXBlPSJQZXJzb25hbCI+U2NocmlqdmVycywgVG9tPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5Ub208L2dpdmVuTmFtZT4KICAgICAgPGZhbWlseU5hbWU+U2NocmlqdmVyczwvZmFtaWx5TmFtZT4KICAgIDwvY3JlYXRvcj4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5EZSBLb25pbmNrLCBMZXNsaWU8L2NyZWF0b3JOYW1lPgogICAgICA8Z2l2ZW5OYW1lPkxlc2xpZTwvZ2l2ZW5OYW1lPgogICAgICA8ZmFtaWx5TmFtZT5EZSBLb25pbmNrPC9mYW1pbHlOYW1lPgogICAgPC9jcmVhdG9yPgogIDwvY3JlYXRvcnM+CiAgPHRpdGxlcz4KICAgIDx0aXRsZT5BcyB0aW1lIGdvZXMgYnk6IENvbnN0cmFpbnQgSGFuZGxpbmcgUnVsZXMgLSBBIHN1cnZleSBvZiBDSFIgcmVzZWFyY2ggZnJvbSAxOTk4IHRvIDIwMDc8L3RpdGxlPgogIDwvdGl0bGVzPgogIDxwdWJsaXNoZXI+YXJYaXY8L3B1Ymxpc2hlcj4KICA8cHVibGljYXRpb25ZZWFyPjIwMDk8L3B1YmxpY2F0aW9uWWVhcj4KICA8c3ViamVjdHM+CiAgICA8c3ViamVjdCB4bWw6bGFuZz0iZW4iIHN1YmplY3RTY2hlbWU9ImFyWGl2Ij5Qcm9ncmFtbWluZyBMYW5ndWFnZXMgKGNzLlBMKTwvc3ViamVjdD4KICAgIDxzdWJqZWN0IHN1YmplY3RTY2hlbWU9IkZpZWxkcyBvZiBTY2llbmNlIGFuZCBUZWNobm9sb2d5IChGT1MpIj5GT1M6IENvbXB1dGVyIGFuZCBpbmZvcm1hdGlvbiBzY2llbmNlczwvc3ViamVjdD4KICAgIDxzdWJqZWN0IHhtbDpsYW5nPSJlbiIgc3ViamVjdFNjaGVtZT0iQUNNIj5ELjEuMzsgRC4xLjY7IEQuMy4wOyBGLjMuMjsgSi4wPC9zdWJqZWN0PgogIDwvc3ViamVjdHM+CiAgPGRhdGVzPgogICAgPGRhdGUgZGF0ZVR5cGU9IlN1Ym1pdHRlZCIgZGF0ZUluZm9ybWF0aW9uPSJ2MSI+MjAwOS0wNi0yNFQxMzo1NDo0MVo8L2RhdGU+CiAgICA8ZGF0ZSBkYXRlVHlwZT0iVXBkYXRlZCIgZGF0ZUluZm9ybWF0aW9uPSJ2MSI+MjAwOS0xMi0wMVQxMjoxODo1Nlo8L2RhdGU+CiAgICA8ZGF0ZSBkYXRlVHlwZT0iU3VibWl0dGVkIiBkYXRlSW5mb3JtYXRpb249InYyIj4yMDA5LTA2LTI1VDEzOjE3OjQxWjwvZGF0ZT4KICAgIDxkYXRlIGRhdGVUeXBlPSJVcGRhdGVkIiBkYXRlSW5mb3JtYXRpb249InYyIj4yMDA5LTEyLTAxVDEyOjE4OjU2WjwvZGF0ZT4KICAgIDxkYXRlIGRhdGVUeXBlPSJBdmFpbGFibGUiIGRhdGVJbmZvcm1hdGlvbj0idjEiPjIwMDktMDY8L2RhdGU+CiAgPC9kYXRlcz4KICA8cmVzb3VyY2VUeXBlIHJlc291cmNlVHlwZUdlbmVyYWw9IlByZXByaW50Ij5BcnRpY2xlPC9yZXNvdXJjZVR5cGU+CiAgPHZlcnNpb24+MjwvdmVyc2lvbj4KICA8cmlnaHRzTGlzdD4KICAgIDxyaWdodHMgcmlnaHRzVVJJPSJodHRwOi8vYXJ4aXYub3JnL2xpY2Vuc2VzL25vbmV4Y2x1c2l2ZS1kaXN0cmliLzEuMC8iPmFyWGl2Lm9yZyBwZXJwZXR1YWwsIG5vbi1leGNsdXNpdmUgbGljZW5zZTwvcmlnaHRzPgogIDwvcmlnaHRzTGlzdD4KICA8ZGVzY3JpcHRpb25zPgogICAgPGRlc2NyaXB0aW9uIGRlc2NyaXB0aW9uVHlwZT0iQWJzdHJhY3QiPkNvbnN0cmFpbnQgSGFuZGxpbmcgUnVsZXMgKENIUikgaXMgYSBoaWdoLWxldmVsIHByb2dyYW1taW5nIGxhbmd1YWdlIGJhc2VkIG9uIG11bHRpLWhlYWRlZCBtdWx0aXNldCByZXdyaXRlIHJ1bGVzLiBPcmlnaW5hbGx5IGRlc2lnbmVkIGZvciB3cml0aW5nIHVzZXItZGVmaW5lZCBjb25zdHJhaW50IHNvbHZlcnMsIGl0IGlzIG5vdyByZWNvZ25pemVkIGFzIGFuIGVsZWdhbnQgZ2VuZXJhbCBwdXJwb3NlIGxhbmd1YWdlLiBDSFItcmVsYXRlZCByZXNlYXJjaCBoYXMgc3VyZ2VkIGR1cmluZyB0aGUgZGVjYWRlIGZvbGxvd2luZyB0aGUgcHJldmlvdXMgc3VydmV5IGJ5IEZydWVod2lydGguIENvdmVyaW5nIG1vcmUgdGhhbiAxODAgcHVibGljYXRpb25zLCB0aGlzIG5ldyBzdXJ2ZXkgcHJvdmlkZXMgYW4gb3ZlcnZpZXcgb2YgcmVjZW50IHJlc3VsdHMgaW4gYSB3aWRlIHJhbmdlIG9mIHJlc2VhcmNoIGFyZWFzLCBmcm9tIHNlbWFudGljcyBhbmQgYW5hbHlzaXMgdG8gc3lzdGVtcywgZXh0ZW5zaW9ucyBhbmQgYXBwbGljYXRpb25zLjwvZGVzY3JpcHRpb24+CiAgICA8ZGVzY3JpcHRpb24gZGVzY3JpcHRpb25UeXBlPSJPdGhlciI+NDkgcGFnZXMuIFRvIGFwcGVhciBpbiBUaGVvcnkgYW5kIFByYWN0aWNlIG9mIExvZ2ljIFByb2dyYW1taW5nPC9kZXNjcmlwdGlvbj4KICA8L2Rlc2NyaXB0aW9ucz4KPC9yZXNvdXJjZT4=","url":"https://arxiv.org/abs/0906.4474","contentUrl":null,"metadataVersion":0,"schemaVersion":"http://datacite.org/schema/kernel-4","source":"mds","isActive":true,"state":"findable","reason":null,"viewCount":0,"viewsOverTime":[],"downloadCount":0,"downloadsOverTime":[],"referenceCount":0,"citationCount":0,"citationsOverTime":[],"partCount":0,"partOfCount":0,"versionCount":0,"versionOfCount":0,"created":"2022-03-15T06:42:02.000Z","registered":"2022-03-15T06:42:04.000Z","published":"2009","updated":"2022-03-15T06:42:04.000Z"},"relationships":{"client":{"data":{"id":"arxiv.content","type":"clients"}},"provider":{"data":{"id":"arxiv","type":"providers"}},"media":{"data":{"id":"10.48550/arxiv.0906.4474","type":"media"}},"references":{"data":[]},"citations":{"data":[]},"parts":{"data":[]},"partOf":{"data":[]},"versions":{"data":[]},"versionOf":{"data":[]}}}}