Muutke küpsiste eelistusi

Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 1314, 2020, Revised Selected Papers 1st ed. 2020 [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 249 pages, kõrgus x laius: 235x155 mm, kaal: 454 g, 45 Illustrations, color; 736 Illustrations, black and white; X, 249 p. 781 illus., 45 illus. in color., 1 Paperback / softback
  • Sari: Theoretical Computer Science and General Issues 12222
  • Ilmumisaeg: 18-Aug-2020
  • Kirjastus: Springer Nature Switzerland AG
  • ISBN-10: 3030577600
  • ISBN-13: 9783030577605
Teised raamatud teemal:
  • Pehme köide
  • Hind: 48,70 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 57,29 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 1314, 2020, Revised Selected Papers 1st ed. 2020Suurem pilt
  • Formaat: Paperback / softback, 249 pages, kõrgus x laius: 235x155 mm, kaal: 454 g, 45 Illustrations, color; 736 Illustrations, black and white; X, 249 p. 781 illus., 45 illus. in color., 1 Paperback / softback
  • Sari: Theoretical Computer Science and General Issues 12222
  • Ilmumisaeg: 18-Aug-2020
  • Kirjastus: Springer Nature Switzerland AG
  • ISBN-10: 3030577600
  • ISBN-13: 9783030577605
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783030577605.html
Märksõnad:
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.







 
Domain-specific languages.- PaSe: An Extensible and Inspectable DSL for Micro-Animations.- BinderAnn: Automated Rei cation of Source Annotations for Monadic EDSLs.- Generating next step hints for task oriented programs using symbolic execution.- Debugging and testing.- Scaling Up Delta Debugging of Type Errors.- Flexible Formality: Practical Experience with Agile Formal Methods.- White-Box Path Generation in Recursive Programs.- Reasoning and effects.- A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang.- One-shot Algebraic Effects as Coroutines.- An equational modeling of asynchronous concurrent programming.- State will do.- Parallelism.- Placement Strategies: Structured Skeleton Composition with Location-Aware Remote Data.