|
|
libcats.org
Constraint handling rules: current research topicsTom Schrijvers, Thom FrühwirthThe Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language consisting of guarded rules that transform multisets of relations called constraints until no more change occurs. The CHR language saw the light more than 15 years ago. Since then, it has become a major declarative specification and implementation language for constraint-based algorithms and applications. In recent years, five workshops on constraint handling rules have spurred the exchange of ideas within the CHR community, which has led to increased international collaboration, new theoretical results and optimized implementations. The aim of this volume was to attract high-quality research papers on these recent advances in Constraint Handling Rules. The 7 papers are presented together with an introductory paper on CHR cover topics on search, applications, theory, and implementation of CHR. EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Хоббит, или Туда и обратно (пер. М. Каменкович, С. Степанов)Автор: Толкиен Джон Роналд РуэлКатегория: Фэнтези
Размер книги: 1.12 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Civil Jet Aircraft DesignАвтор: Lloyd R. Jenkinson, Автор: Paul Simpkin, Автор: Darren Rhodes
Размер книги: 16.09 Mb
Эра эфираАвтор: Невский Александр ПлатоновичКатегория: Теоретическое естествознание
Размер книги: 41 Kb
|
|
|