Functional and Logic Programming

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

Nonfiction, Computers, Programming, Software Development, Programming Languages, General Computing
Cover of the book Functional and Logic Programming by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319906867
Publisher: Springer International Publishing Publication: May 1, 2018
Imprint: Springer Language: English
Author:
ISBN: 9783319906867
Publisher: Springer International Publishing
Publication: May 1, 2018
Imprint: Springer
Language: English

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. 

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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. 

More books from Springer International Publishing

Cover of the book Ultrasonic Nondestructive Evaluation Systems by
Cover of the book Turing’s Revolution by
Cover of the book Data-driven Modelling of Structured Populations by
Cover of the book Manipulation and Characterization of Electrosprayed Ions Under Ambient Conditions by
Cover of the book Sertoli Cell Metabolism and Spermatogenesis by
Cover of the book Software Quality: Methods and Tools for Better Software and Systems by
Cover of the book Handbook of Outpatient Medicine by
Cover of the book Interactive Modeling and Simulation in Business System Design by
Cover of the book Congregations in Europe by
Cover of the book Learning Systems: From Theory to Practice by
Cover of the book Revitalizing City Districts by
Cover of the book Temporomandibular Joint Total Joint Replacement – TMJ TJR by
Cover of the book Software Reuse: Bridging with Social-Awareness by
Cover of the book What Is the Truth About the Great Recession and Increasing Inequality? by
Cover of the book Software Engineering Research, Management and Applications by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy