Skip to main content
SpringerLink
Log in

Functional and Logic Programming

15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Keisuke Nakano

    1. Tohoku University, Sendai, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Konstantinos Sagonas

    1. Uppsala University, Uppsala, Sweden

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

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

Included in the following conference series:

Conference proceedings info: FLOPS 2020.

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 (13 papers)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  3. Contributed Papers

    1. Front Matter

      Pages 11-11
      Download chapter PDF

    2. The Bang Calculus Revisited

      • Antonio Bucciarelli, Delia Kesner, Alejandro Ríos, Andrés Viso
      Pages 13-32

    3. Functional Pearl: The Distributive \(\lambda \)-Calculus

      • Beniamino Accattoli, Alejandro Díaz-Caro
      Pages 33-49

    4. Polynomial Time over the Reals with Parsimony

      • Emmanuel Hainry, Damiano Mazza, Romain Péchoux
      Pages 50-65

    5. Session Types Without Sophistry

      • Oleg Kiselyov, Keigo Imai
      Pages 66-87

    6. Restriction on Cut in Cyclic Proof System for Symbolic Heaps

      • Kenji Saotome, Koji Nakazawa, Daisuke Kimura
      Pages 88-105

    7. On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming

      • Matteo Cimini
      Pages 106-123

    8. Declarative Pearl: Deriving Monadic Quicksort

      • Shin-Cheng Mu, Tsung-Ju Chiang
      Pages 124-138

    9. Language-Integrated Query with Nested Data Structures and Grouping

      • Rui Okura, Yukiyoshi Kameyama
      Pages 139-158

    10. An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update

      • Kanae Tsushima, Bach Nguyen Trong, Robert Glück, Zhenjiang Hu
      Pages 159-178

    11. Implementing, and Keeping in Check, a DSL Used in E-Learning

      • Oliver Westphal, Janis Voigtländer
      Pages 179-197

    12. System Description: Lang-n-Change - A Tool for Transforming Languages

      • Benjamin Mourad, Matteo Cimini
      Pages 198-214

    13. An SMT-Based Concolic Testing Tool for Logic Programs

      • Sophie Fortz, Fred Mesnard, Etienne Payet, Gilles Perrouin, Wim Vanhoof, Germán Vidal
      Pages 215-219

  4. Back Matter

    Pages 221-221
    Download chapter PDF
Back to top

Other volumes

  1. Functional and Logic Programming

Keywords

About this book

This book constitutes the proceedings of the 15th International Symposium on Functional and Logic Programming, FLOPS 2020, held in Akita, Japan*, in September 2020.

The 12 papers presented in this volume were carefully reviewed and selected from 25 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory.

*The conference was held virtually due to the COVID-19 pandemic.

Editors and Affiliations

  • Tohoku University, Sendai, Japan

    Keisuke Nakano

  • Uppsala University, Uppsala, Sweden

    Konstantinos Sagonas

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation