Functional and Logic Programming

14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

John P. Gallagher, Martin Sulzmann (Herausgeber)

Buch | Softcover

XVI, 281 Seiten

2018 | 1st ed. 2018
Springer International Publishing (Verlag)
978-3-319-90685-0 (ISBN)

Artikel merken

This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018.

The 17 papers presented in this volume were carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, language design, and implementation issues.

Erscheinungsdatum	25.04.2018
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Theoretical Computer Science and General Issues
Zusatzinfo	XVI, 281 p. 74 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	458 g
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
Schlagworte	Applications • Artificial Intelligence • Computer Science • computer software selection and evaluation • conference proceedings • Debugging • Declarative Programming • Design • Informatics • parallel processing systems • Problem Solving • program compilers • program debugging • Programming Languages • Project Management • Research • Semantics • Software engineering • Teaching • verification
ISBN-10	3-319-90685-2 / 3319906852
ISBN-13	978-3-319-90685-0 / 9783319906850
Zustand	Neuware