Functional and Logic Programming [electronic resource] : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings / edited by Tom Schrijvers, Peter Thiemann.
Materialtyp:
TextSerie: Utgivningsuppgift: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Utgåva: 1st ed. 2012Beskrivning: X, 333 p. 69 illus. online resourceInnehållstyp: - text
- computer
- online resource
- 9783642298226
- Software Engineering
- Computer Science Logic and Foundations of Programming
- Compilers and Interpreters
- Formal Languages and Automata Theory
- Artificial Intelligence
- Programming Techniques
- Software engineering
- Computer science
- Compilers (Computer programs)
- Machine theory
- Artificial intelligence
- Computer programming
- 005.1 23
Inga fysiska exemplar för denna post
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.
Licensed e-book