Theoretical Computer Science and General Issues

Functional and Logic Programming

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

Editors: Codish, Michael, Sumii, Eijiro (Eds.)

Buy this book

eBook $64.99
price for USA (gross)
  • ISBN 978-3-319-07151-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $84.00
price for USA
  • ISBN 978-3-319-07150-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (21 chapters)

  • PrologCheck – Property-Based Testing in Prolog

    Amaral, Cláudio (et al.)

    Pages 1-17

  • Generating Constrained Random Data with Uniform Distribution

    Claessen, Koen (et al.)

    Pages 18-34

  • Guided Type Debugging

    Chen, Sheng (et al.)

    Pages 35-51

  • Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging

    Riesco, Adrián

    Pages 52-68

  • Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing

    Barkati, Karim (et al.)

    Pages 69-85

Buy this book

eBook $64.99
price for USA (gross)
  • ISBN 978-3-319-07151-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $84.00
price for USA
  • ISBN 978-3-319-07150-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Functional and Logic Programming
Book Subtitle
12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Editors
  • Michael Codish
  • Eijiro Sumii
Series Title
Theoretical Computer Science and General Issues
Series Volume
8475
Copyright
2014
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-07151-0
DOI
10.1007/978-3-319-07151-0
Softcover ISBN
978-3-319-07150-3
Edition Number
1
Number of Pages
XVI, 353
Number of Illustrations and Tables
81 b/w illustrations
Topics