Amazon cover image
Image from Amazon.com

Trends in functional programming : 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised selected papers / Aleksander Byrski, John Hughes (Eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 12222. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Publisher: Cham : Springer, [2020]Copyright date: ©2020Description: 1 online resource (x, 249 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783030577612
  • 3030577619
Other title:
  • TFP 2020
Subject(s): Genre/Form: Additional physical formats: Print version:: Trends in Functional Programming : 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers.DDC classification:
  • 005.1/1 23
LOC classification:
  • QA76.62 .I58 2020eb
Online resources:
Contents:
Domain-specific languages ; PaSe : an extensible and inspectable DSL for micro-animations / Ruben P. Pieters and Tom Schrijvers -- BinderAnn : automated reification of source annotations for monadic EDSLs / Agustín Mista and Alejandro Russo -- Generating next step hints for task oriented programs using symbolic execution / Nico Naus and Tim Steenvoorden -- Debugging and testing ; Scaling up delta debugging of type errors / Joanna Sharrad and Olaf Chitil -- Flexible formality practical experience with agile formal methods / Philipp Kant, Kevin Hammond, Duncan Coutts, James Chapman, Nicholas Clarke, Jared Corduan, Neil Davies, Javier Díaz, Matthias Güdemann, Wolfgang Jeltsch, Marcin Szamotulski, and Polina Vinogradova -- White-box path generation in recursive programs / Ricardo Peña and Jaime Sánchez-Hernández -- Reasoning and effects ; A proof assistant based formalisation of a subset of sequential core Erlang / Péter Bereczky, Dániel Horpácsi, and Simon Thompson -- One-shot algebraic effects as coroutines / Satoru Kawahara and Yukiyoshi Kameyama -- An equational modeling of asynchronous concurrent programming / David Janin -- State will do / Willem Seynaeve, Koen Pauwels , and Tom Schrijvers -- Parallelism ; Placement strategies : structured skeleton composition with location-aware remote data / Lukas Immanuel Schiller.
Summary: This book constitutes revised selected papers from the 21st International Symposium on Trends in Functional Programming, TFP 2020, which was held in Krakow, Poland, during February 13-14, 2020. TFP is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in this area. It aspires to be a lively environment for presenting the latest research results and other contributions. The 11 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections named: domain-specific languages; debugging and testing; reasoning and effects; and parallelism. The following chapters are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com: Chapter 3: Generating next step hints for task oriented programs using symbolic execution by Nico Naus and Tim Steenvoorden, and Chapter 5: Flexible Formality Practical Experience with Agile Formal Methods by Philipp Kant, et al.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references at chapter ends, and author index.

Domain-specific languages ; PaSe : an extensible and inspectable DSL for micro-animations / Ruben P. Pieters and Tom Schrijvers -- BinderAnn : automated reification of source annotations for monadic EDSLs / Agustín Mista and Alejandro Russo -- Generating next step hints for task oriented programs using symbolic execution / Nico Naus and Tim Steenvoorden -- Debugging and testing ; Scaling up delta debugging of type errors / Joanna Sharrad and Olaf Chitil -- Flexible formality practical experience with agile formal methods / Philipp Kant, Kevin Hammond, Duncan Coutts, James Chapman, Nicholas Clarke, Jared Corduan, Neil Davies, Javier Díaz, Matthias Güdemann, Wolfgang Jeltsch, Marcin Szamotulski, and Polina Vinogradova -- White-box path generation in recursive programs / Ricardo Peña and Jaime Sánchez-Hernández -- Reasoning and effects ; A proof assistant based formalisation of a subset of sequential core Erlang / Péter Bereczky, Dániel Horpácsi, and Simon Thompson -- One-shot algebraic effects as coroutines / Satoru Kawahara and Yukiyoshi Kameyama -- An equational modeling of asynchronous concurrent programming / David Janin -- State will do / Willem Seynaeve, Koen Pauwels , and Tom Schrijvers -- Parallelism ; Placement strategies : structured skeleton composition with location-aware remote data / Lukas Immanuel Schiller.

This book constitutes revised selected papers from the 21st International Symposium on Trends in Functional Programming, TFP 2020, which was held in Krakow, Poland, during February 13-14, 2020. TFP is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in this area. It aspires to be a lively environment for presenting the latest research results and other contributions. The 11 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections named: domain-specific languages; debugging and testing; reasoning and effects; and parallelism. The following chapters are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com: Chapter 3: Generating next step hints for task oriented programs using symbolic execution by Nico Naus and Tim Steenvoorden, and Chapter 5: Flexible Formality Practical Experience with Agile Formal Methods by Philipp Kant, et al.

Print version record.

Powered by Koha