Skip to main content
SpringerLink
Log in
Book cover

Functional and Logic Programming

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

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. John P. Gallagher

    1. Roskilde University, Roskilde, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Martin Sulzmann

    1. Karlsruhe University of Applied Sciences, Karlsruhe, Germany

    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 10818)

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

Included in the following conference series:

Conference proceedings info: FLOPS 2018.

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 EPUB and 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 (17 papers)

  1. Front Matter

    Pages I-XVI
    Download chapter PDF

  2. Formal Verification of the Correspondence Between Call-by-Need and Call-by-Name

    • Masayuki Mizuno, Eijiro Sumii
    Pages 1-16

  3. Direct Encodings of NP-Complete Problems into Horn Sequents of Multiplicative Linear Logic

    • Satoshi Matsuoka
    Pages 17-32

  4. \(\lambda \) to SKI, Semantically

    • Oleg Kiselyov
    Pages 33-50

  5. Program Extraction for Mutable Arrays

    • Kazuhiko Sakaguchi
    Pages 51-67

  6. Functional Pearl: Folding Polynomials of Polynomials

    • Chen-Mou Cheng, Ruey-Lin Hsu, Shin-Cheng Mu
    Pages 68-83

  7. A Functional Perspective on Machine Learning via Programmable Induction and Abduction

    • Steven Cheung, Victor Darvariu, Dan R. Ghica, Koko Muroya, Reuben N. S. Rowe
    Pages 84-98

  8. Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance Validation

    • Makoto Hamana
    Pages 99-115

  9. Confluence Modulo Equivalence with Invariants in Constraint Handling Rules

    • Daniel Gall, Thom Frühwirth
    Pages 116-131

  10. On Probabilistic Term Rewriting

    • Martin Avanzini, Ugo Dal Lago, Akihisa Yamada
    Pages 132-148

  11. Equivalence Checking of Non-deterministic Operations

    • Sergio Antoy, Michael Hanus
    Pages 149-165

  12. Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers

    • Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki
    Pages 166-181

  13. Breaking Symmetries with Lex Implications

    • Michael Codish, Thorsten Ehlers, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey
    Pages 182-197

  14. Model Checking Parameterized by the Semantics in Maude

    • Adrián Riesco
    Pages 198-213

  15. Automated Amortised Resource Analysis for Term Rewrite Systems

    • Georg Moser, Manuel Schneckenreither
    Pages 214-229

  16. A Common Framework Using Expected Types for Several Type Debugging Approaches

    • Kanae Tsushima, Olaf Chitil
    Pages 230-246

  17. CauDEr: A Causal-Consistent Reversible Debugger for Erlang

    • Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal
    Pages 247-263

  18. Cheap Remarks About Concurrent Programs

    • Michael Walker, Colin Runciman
    Pages 264-279

  19. Back Matter

    Pages 281-281
    Download chapter PDF
Back to top

Other volumes

  1. Functional and Logic Programming

Keywords

About this book

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. 


Editors and Affiliations

  • Roskilde University, Roskilde, Denmark

    John P. Gallagher

  • Karlsruhe University of Applied Sciences, Karlsruhe, Germany

    Martin Sulzmann

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation