Skip to main content
SpringerLink
Log in

Functional and Logic Programming

13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Oleg Kiselyov

    1. Tohoku University, Sendai, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Andy King

    1. School of Computing, University of Kent, Canterbury, United Kingdom

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

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

Included in the following conference series:

Conference proceedings info: FLOPS 2016.

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

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project

    • Kazunori Ueda
    Pages 1-11

  3. From Sets to Bits in Coq

    • Arthur Blot, Pierre-Évariste Dagand, Julia Lawall
    Pages 12-28

  4. From Proposition to Program

    • Wouter Swierstra, Joao Alpuim
    Pages 29-44

  5. The Boolean Constraint Solver of SWI-Prolog (System Description)

    • Markus Triska
    Pages 45-61

  6. Probabilistic Inference by Program Transformation in Hakaru (System Description)

    • Praveen Narayanan, Jacques Carette, Wren Romano, Chung-chieh Shan, Robert Zinkov
    Pages 62-79

  7. An Interaction Net Encoding of Gödel’s System \(\mathcal {T}\)

    • Ian Mackie, Shinya Sato
    Pages 80-93

  8. Space-Efficient Planar Acyclicity Constraints

    • Taus Brock-Nannestad
    Pages 94-108

  9. Executable Relational Specifications of Polymorphic Type Systems Using Prolog

    • Ki Yung Ahn, Andrea Vezzosi
    Pages 109-125

  10. Proof Relevant Corecursive Resolution

    • Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond
    Pages 126-143

  11. A Coq Library for Internal Verification of Running-Times

    • Jay McCarthy, Burke Fetscher, Max New, Daniel Feltey, Robert Bruce Findler
    Pages 144-162

  12. A Transformational Approach to Parametric Accumulated-Cost Static Profiling

    • R. Haemmerlé, P. López-García, U. Liqat, M. Klemen, J. P. Gallagher, M. V. Hermenegildo
    Pages 163-180

  13. Polymorphic Types in Erlang Function Specifications

    • Francisco J. López-Fraguas, Manuel Montenegro, Juan Rodríguez-Hortalá
    Pages 181-197

  14. Declarative Foreign Function Binding Through Generic Programming

    • Jeremy Yallop, David Sheets, Anil Madhavapeddy
    Pages 198-214

  15. Incremental Computing with Abstract Data Structures

    • Akimasa Morihata
    Pages 215-231

  16. Declarative Programming with Algebra

    • Andre van Delft, Anatoliy Kmetyuk
    Pages 232-251

  17. Back Matter

    Pages 253-253
    Download chapter PDF
Back to top

Other volumes

  1. Functional and Logic Programming

Keywords

About this book

This book constitutes the proceedings of the 13th International Symposium on Functional and Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016.
The 14 papers presented in this volume were carefully reviewed and selected from 36 submissions. They cover the following topics: functional and logic programming; program transformation and re-writing; and extracting programs from proofs of their correctness. 

Editors and Affiliations

  • Tohoku University, Sendai, Japan

    Oleg Kiselyov

  • School of Computing, University of Kent, Canterbury, United Kingdom

    Andy King

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation