Titel: Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 13?14, 2020, Revised Selected Papers (Lecture Notes in Computer Science (12222))
Verlag: Springer
Ver�ffentlichungsdatum: 2020
Sprache: Englisch
ISBN-10: 3030577600
ISBN-13: 9783030577605
Bindung: Softcover
Zustand: New

�ber diesen Titel

Inhaltsangabe

This book constitutes revised selected papers from the 21^st 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.

Von der hinteren Coverseite

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

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.