Functional and logic programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings / / Tom Schrijvers, Peter Thiemann (eds.)
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Functional and logic programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings / / Tom Schrijvers, Peter Thiemann (eds.)
|
| Pubblicazione: | Berlin ; ; New York, : Springer, c2012 |
| Edizione: | 1st ed. 2012. |
| Descrizione fisica: | 1 online resource (X, 333 p. 69 illus.) |
| Disciplina: | 005.114 |
| Soggetto topico: | Functional programming (Computer science) |
| Logic programming | |
| Altri autori: |
SchrijversTom
ThiemannPeter, Dr.
|
| Note generali: | International conference proceedings. |
| Nota di bibliografia: | Includes bibliographical references and author index. |
| Sommario/riassunto: | This book constitutes the refereed proceedings of the 11th International Symposium on Functional and Logic Programming, FLOPS 2012, held in Kobe, Japan, in May 2012. The 19 research papers and 3 system demonstrations presented in this volume were carefully reviewed and selected from 39 submissions. They deal with declarative programming, including functional programming and logic programming. |
| Altri titoli varianti: | FLOPS 2012 |
| Titolo autorizzato: | Functional and logic programming |
| ISBN: | 3-642-29822-2 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910510602703321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Theoretical Computer Science and General Issues, . 2512-2029 ; ; 7294