Advertisement

Functional and Constraint Logic Programming

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

  • Josep Silva
Conference proceedings WFLP 2018

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11285)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11285)

Table of contents

  1. Front Matter
    Pages i-vii
  2. Compilers and Code Generation

    1. Front Matter
      Pages 1-1
    2. Ingmar Dasseville, Marc Denecker
      Pages 3-17
    3. Paventhan Vivekanandan
      Pages 18-35
  3. Debugging and Testing

    1. Front Matter
      Pages 37-37
    2. Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner
      Pages 39-55
    3. Lars-Åke Fredlund, Julio Mariño, Sergio Pérez, Salvador Tamarit
      Pages 56-73
    4. Sergio Pérez, Salvador Tamarit
      Pages 74-90
  4. Foundations of Functional Logic Programming

    1. Front Matter
      Pages 91-91
    2. Sergio Antoy, Michael Hanus, Finn Teegen
      Pages 93-111
    3. Ingmar Dasseville, Gerda Janssens
      Pages 145-161
    4. Gregor Ulm, Emil Gustavsson, Mats Jirstrand
      Pages 162-178
  5. Back Matter
    Pages 179-179

About these proceedings

Introduction

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.

 

Keywords

answer set programming artificial intelligence code generation constraint programming debugging functional programming knowledge representation linguistics logic programming programming languages semantics software engineering testing

Editors and affiliations

  • Josep Silva
    • 1
  1. 1.Universitat Politècnica de ValènciaValenciaSpain

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-16202-3
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-16201-6
  • Online ISBN 978-3-030-16202-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace