Functional and Logic Programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings / / edited by Tom Schrijvers, Peter Thiemann

• Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012
• Edizione: 1st ed. 2012.
• Descrizione fisica: 1 online resource (X, 333 p. 69 illus.)
• Disciplina: 005.1
• 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
• Persona (resp. second.): SchrijversTom; ThiemannPeter
• 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'12
• Titolo autorizzato: Functional and Logic Programming
• ISBN: 3-642-29822-2
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996465554703316
• Lo trovi qui: Univ. di Salerno
• Serie: Theoretical Computer Science and General Issues, . 2512-2029 ; ; 7294