|
![]() |
|||
|
||||
OverviewThis 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. Full Product DetailsAuthor: John P. Gallagher , Martin SulzmannPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 1st ed. 2018 Volume: 10818 Weight: 0.462kg ISBN: 9783319906850ISBN 10: 3319906852 Pages: 281 Publication Date: 24 April 2018 Audience: Professional and scholarly , College/higher education , Professional & Vocational , Postgraduate, Research & Scholarly Format: Paperback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |