Skip to main content
SpringerLink
Log in

Functional and Constraint Logic Programming

26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Josep Silva

    1. Universitat Politècnica de València, Valencia, Spain

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

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

Included in the following conference series:

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

  1. Front Matter

    Pages i-vii
    Download chapter PDF

  2. Compilers and Code Generation

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Transpiling Programming Computable Functions to Answer Set Programs

      • Ingmar Dasseville, Marc Denecker
      Pages 3-17

    3. Code Generation for Higher Inductive Types

      • Paventhan Vivekanandan
      Pages 18-35

  3. Debugging and Testing

    1. Front Matter

      Pages 37-37
      Download chapter PDF

    2. Measuring Coverage of Prolog Programs Using Mutation Testing

      • Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner
      Pages 39-55

    3. Runtime Verification in Erlang by Using Contracts

      • Lars-Åke Fredlund, Julio Mariño, Sergio Pérez, Salvador Tamarit
      Pages 56-73

    4. Enhancing POI Testing Through the Use of Additional Information

      • Sergio Pérez, Salvador Tamarit
      Pages 74-90

  4. Foundations of Functional Logic Programming

    1. Front Matter

      Pages 91-91
      Download chapter PDF

    2. Synthesizing Set Functions

      • Sergio Antoy, Michael Hanus, Finn Teegen
      Pages 93-111

    3. Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs

      • Henning Christiansen, Maja H. Kirkeby
      Pages 112-130

    4. Reference Type Logic Variables in Constraint-Logic Object-Oriented Programming

      • Jan C. Dageförde
      Pages 131-144

    5. FMS: Functional Programming as a Modelling Language

      • Ingmar Dasseville, Gerda Janssens
      Pages 145-161

    6. Functional Federated Learning in Erlang (ffl-erl)

      • Gregor Ulm, Emil Gustavsson, Mats Jirstrand
      Pages 162-178

  5. Back Matter

    Pages 179-179
    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 26th International Workshop on Functional and Constraint Logic Programming, WFLP 2018, held in Frankfurt/Main, Germany, in September 2018. 

From the 19 full papers submitted,12 were accepted for presentation at the workshop. During a second review after the workshop, 10 papers were accepted for inclusion in this volume. The papers cover different programming areas of functional and logic programming, including code generation, verification, and debugging. They are organized in the following topical sections: compilers and code generation; debugging and testing; and foundations of functional logic programming.

 

Editors and Affiliations

  • Universitat Politècnica de València, Valencia, Spain

    Josep Silva

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation