Trends in Functional Programming

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

21st International Symposium, TFP 2020, Krakow, Poland, February 13-14,2020, Revised Selected Papers, Lecture Notes in Computer Science 12222 – Theoretical Computer Science and General Issues

ISBN: 3030577600
ISBN 13: 9783030577605
Herausgeber: Aleksander Byrski/John Hughes
Verlag: Springer Verlag GmbH
Umfang: x, 249 S., 736 s/w Illustr., 45 farbige Illustr., 249 p. 781 illus., 45 illus. in color.
Erscheinungsdatum: 18.08.2020
Auflage: 1/2020
Produktform: Kartoniert
Einband: Kartoniert

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.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

Artikelnummer: 9662191 Kategorie:

Beschreibung

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. 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.  

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …