Functional and Logic Programming

12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Michael Codish, Eijiro Sumii (Herausgeber)

Buch | Softcover

XVI, 353 Seiten

2014
Springer International Publishing (Verlag)
978-3-319-07150-3 (ISBN)

Artikel merken

This book constitutes the refereed proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014, held in Kanazawa, Japan, in June 2014. The 21 full papers and 3 invited talks presented in this volume were carefully reviewed and selected from 41 submissions. They deal with declarative programming, including functional programming and logic programming.

Declarative programming.- Functional programming.- Logic programming.

Erscheint lt. Verlag	14.7.2014
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Theoretical Computer Science and General Issues
Zusatzinfo	XVI, 353 p. 81 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	569 g
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
Schlagworte	concurrent programming languages • constraint and logic languages • Distributed Computing • Extensible Markup Language (XML) • formal methods • graphical user interfaces • Model Checking • program analysis • rewrite systems • Type Theory
ISBN-10	3-319-07150-5 / 3319071505
ISBN-13	978-3-319-07150-3 / 9783319071503
Zustand	Neuware