Skip to main content
  • Conference proceedings
  • © 2014

Functional and Logic Programming

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

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8475)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): FLOPS: International Symposium on Functional and Logic Programming

Conference proceedings info: FLOPS 2014.

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-07151-0
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 69.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (21 papers)

  1. Front Matter

  2. PrologCheck – Property-Based Testing in Prolog

    • Cláudio Amaral, Mário Florido, Vítor Santos Costa
    Pages 1-17
  3. Generating Constrained Random Data with Uniform Distribution

    • Koen Claessen, Jonas Duregård, Michał H. Pałka
    Pages 18-34
  4. Guided Type Debugging

    • Sheng Chen, Martin Erwig
    Pages 35-51
  5. Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing

    • Karim Barkati, Haisheng Wang, Pierre Jouvelot
    Pages 69-85
  6. On Cross-Stage Persistence in Multi-Stage Programming

    • Yuichiro Hanada, Atsushi Igarashi
    Pages 103-118
  7. Lightweight Higher-Kinded Polymorphism

    • Jeremy Yallop, Leo White
    Pages 119-135
  8. Generic Programming with Multiple Parameters

    • José Pedro Magalhães
    Pages 136-151
  9. Linear Sized Types in the Calculus of Constructions

    • Jorge Luis Sacchini
    Pages 169-185
  10. Dynamic Programming via Thinning and Incrementalization

    • Akimasa Morihata, Masato Koishi, Atsushi Ohori
    Pages 186-202
  11. POSIX Regular Expression Parsing with Derivatives

    • Martin Sulzmann, Kenny Zhuo Ming Lu
    Pages 203-220
  12. Type Soundness and Race Freedom for Mezzo

    • Thibaut Balabonski, François Pottier, Jonathan Protzenko
    Pages 253-269
  13. Semantics for Prolog with Cut – Revisited

    • Jael Kriener, Andy King
    Pages 270-284
  14. Constraint Logic Programming for Hedges: A Semantic Reconstruction

    • Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin
    Pages 285-301
  15. How Many Numbers Can a Lambda-Term Contain?

    • Paweł Parys
    Pages 302-318

Other Volumes

  1. Functional and Logic Programming

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

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.

Keywords

  • 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

Editors and Affiliations

  • Department of Computer Science, Ben-Gurion University of the Negev, Beer Sheva, Israel

    Michael Codish

  • Graduate School of Information Sciences, Tohoku University, Sendai, Japan

    Eijiro Sumii

Bibliographic Information

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-07151-0
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 69.99
Price excludes VAT (USA)