Constraint handling rules : current research topics / / Tom Schrijvers, Thom Frühwirth (editors) |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2008] |
Descrizione fisica | 1 online resource (VII, 245 p.) |
Disciplina | 005.11 |
Collana | Lecture notes in computer science. Lecture notes in artificial intelligence |
Soggetto topico | Constraint programming (Computer science) |
ISBN | 3-540-92243-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Welcome to Constraint Handling Rules -- A Flexible Search Framework for CHR -- Adaptive CHR Meets CHR??? -- Constructing Rule-Based Solvers for Intentionally-Defined Constraints -- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules -- A Compositional Semantics for CHR with Propagation Rules -- CHR for Imperative Host Languages -- Guard Reasoning in the Refined Operational Semantics of CHR. |
Record Nr. | UNINA-9910483942303321 |
Berlin ; ; Heidelberg : , : Springer, , [2008] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Constraint handling rules : current research topics / / Tom Schrijvers, Thom Frühwirth (editors) |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2008] |
Descrizione fisica | 1 online resource (VII, 245 p.) |
Disciplina | 005.11 |
Collana | Lecture notes in computer science. Lecture notes in artificial intelligence |
Soggetto topico | Constraint programming (Computer science) |
ISBN | 3-540-92243-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Welcome to Constraint Handling Rules -- A Flexible Search Framework for CHR -- Adaptive CHR Meets CHR??? -- Constructing Rule-Based Solvers for Intentionally-Defined Constraints -- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules -- A Compositional Semantics for CHR with Propagation Rules -- CHR for Imperative Host Languages -- Guard Reasoning in the Refined Operational Semantics of CHR. |
Record Nr. | UNISA-996466005403316 |
Berlin ; ; Heidelberg : , : Springer, , [2008] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Functional and Logic Programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings / / edited by Tom Schrijvers, Peter Thiemann |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (X, 333 p. 69 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computer science Compilers (Computer programs) Machine theory Artificial intelligence Computer programming Software Engineering Computer Science Logic and Foundations of Programming Compilers and Interpreters Formal Languages and Automata Theory Artificial Intelligence Programming Techniques |
ISBN | 3-642-29822-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | FLOPS'12 |
Record Nr. | UNINA-9910510602703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Functional and Logic Programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings / / edited by Tom Schrijvers, Peter Thiemann |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (X, 333 p. 69 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computer science Compilers (Computer programs) Machine theory Artificial intelligence Computer programming Software Engineering Computer Science Logic and Foundations of Programming Compilers and Interpreters Formal Languages and Automata Theory Artificial Intelligence Programming Techniques |
ISBN | 3-642-29822-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | FLOPS'12 |
Record Nr. | UNISA-996465554703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming |
Autore | Peña Ricardo |
Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2013 |
Descrizione fisica | 1 online resource (308 pages) |
Collana | ACM Other conferences |
Soggetto topico |
Engineering & Applied Sciences
Computer Science |
ISBN | 1-4503-2154-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
PPDP '13
15th International Symposium on Principles and Practice of Declarative Programming, Madrid, Spain - September 16 - 18, 2013 |
Record Nr. | UNINA-9910375729103321 |
Peña Ricardo
![]() |
||
[Place of publication not identified], : ACM, 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages / / program chair, Tom Schrijvers ; in-cooperation K.U. Leuven |
Pubbl/distr/stampa | New York : , : ACM, , 2016 |
Descrizione fisica | 1 online resource (144 pages) |
Disciplina | 005.13 |
Soggetto topico | Functional programming languages |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
IFL 2016 : Symposium on Implementation and Application of Functional Languages : Leuven, Belgium, August 31-September 02, 2016
Implementation and Application of Functional Languages 2016 |
Record Nr. | UNINA-9910375673303321 |
New York : , : ACM, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|