Skip to main content
SpringerLink
Log in

Functional and Constraint Logic Programming

28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Michael Hanus

    1. Kiel University, Kiel, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Claudio Sacerdoti Coen

    1. University of Bologna, Bologna, Italy

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

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

Included in the following conference series:

Conference proceedings info: WFLP 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 (8 papers)

  1. Front Matter

    Pages i-vii
    Download chapter PDF

  2. Programming Paradigms

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. SOS Rules for Equivalences of Reaction Systems

      • Linda Brodo, Roberto Bruni, Moreno Falaschi
      Pages 3-21

    3. Practical Idiomatic Considerations for Checkable Meta-logic in Experimental Functional Programming

      • Baltasar Trancón y Widemann, Markus Lepper
      Pages 22-38

  3. Implementation and Static Analysis

    1. Front Matter

      Pages 39-39
      Download chapter PDF

    2. On the Performance of Bytecode Interpreters in Prolog

      • Philipp Körner, David Schneider, Michael Leuschel
      Pages 41-56

    3. Memoized Pull-Tabbing for Functional Logic Programming

      • Michael Hanus, Finn Teegen
      Pages 57-73

    4. Effectiveness of Annotation-Based Static Type Inference

      • Isabel Wingen, Philipp Körner
      Pages 74-93

  4. Generating and Checking Exercises

    1. Front Matter

      Pages 95-95
      Download chapter PDF

    2. A Framework for Generating Diverse Haskell-I/O Exercise Tasks

      • Oliver Westphal
      Pages 97-114

  5. Constraint Programming

    1. Front Matter

      Pages 115-115
      Download chapter PDF

    2. Formally Verified Transformation of Non-binary Constraints into Binary Constraints

      • Catherine Dubois
      Pages 117-128

    3. Constraint-Logic Object-Oriented Programming with Free Arrays

      • Hendrik Winkelmann, Jan C. Dageförde, Herbert Kuchen
      Pages 129-144

  6. Back Matter

    Pages 145-145
    Download chapter PDF
Back to top

Other volumes

  1. Functional and Constraint Logic Programming

Keywords

About this book

This book constitutes the refereed post-conference proceedings of the 28th International Workshop on Functional and Constraint Logic Programming, WFLP 2020, held in Bologna, Italy, in September 2020.

Due to the COVID-19, the workshop was held online.

From the 19 full papers submitted, 8 were accepted for presentation at the workshop. The accepted papers cover different programming areas of functional and logic programming, including code generation, verification, and debugging.

Editors and Affiliations

  • Kiel University, Kiel, Germany

    Michael Hanus

  • University of Bologna, Bologna, Italy

    Claudio Sacerdoti Coen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation