Skip to main content
SpringerLink
Log in
Book cover

Functional and Logic Programming

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

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Michael Codish

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Eijiro Sumii

    1. Graduate School of Information Sciences, Tohoku University, Sendai, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: FLOPS 2014.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 papers)

  1. Front Matter

    Download chapter PDF

  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. Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging

    • Adrián Riesco
    Pages 52-68

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

    • Karim Barkati, Haisheng Wang, Pierre Jouvelot
    Pages 69-85

  7. The Design and Implementation of BER MetaOCaml

    • Oleg Kiselyov
    Pages 86-102

  8. On Cross-Stage Persistence in Multi-Stage Programming

    • Yuichiro Hanada, Atsushi Igarashi
    Pages 103-118

  9. Lightweight Higher-Kinded Polymorphism

    • Jeremy Yallop, Leo White
    Pages 119-135

  10. Generic Programming with Multiple Parameters

    • José Pedro Magalhães
    Pages 136-151

  11. Type-Based Amortized Resource Analysis with Integers and Arrays

    • Jan Hoffmann, Zhong Shao
    Pages 152-168

  12. Linear Sized Types in the Calculus of Constructions

    • Jorge Luis Sacchini
    Pages 169-185

  13. Dynamic Programming via Thinning and Incrementalization

    • Akimasa Morihata, Masato Koishi, Atsushi Ohori
    Pages 186-202

  14. POSIX Regular Expression Parsing with Derivatives

    • Martin Sulzmann, Kenny Zhuo Ming Lu
    Pages 203-220

  15. Proving Correctness of Compilers Using Structured Graphs

    • Patrick Bahr
    Pages 221-237

  16. A New Formalization of Subtyping to Match Subclasses to Subtypes

    • Hyunik Na, Sukyoung Ryu
    Pages 238-252

  17. Type Soundness and Race Freedom for Mezzo

    • Thibaut Balabonski, François Pottier, Jonathan Protzenko
    Pages 253-269

  18. Semantics for Prolog with Cut – Revisited

    • Jael Kriener, Andy King
    Pages 270-284

  19. Constraint Logic Programming for Hedges: A Semantic Reconstruction

    • Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin
    Pages 285-301

  20. How Many Numbers Can a Lambda-Term Contain?

    • PaweÅ‚ Parys
    Pages 302-318
Back to top

Other volumes

  1. Functional and Logic Programming

Keywords

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.

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

Publish with us

Policies and ethics

Back to top

Search

Navigation