Atjaunināt sīkdatņu piekrišanu

Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 1314, 2020, Revised Selected Papers 1st ed. 2020 [Mīkstie vāki]

Edited by , Edited by
  • Formāts: Paperback / softback, 249 pages, height x width: 235x155 mm, weight: 454 g, 45 Illustrations, color; 736 Illustrations, black and white; X, 249 p. 781 illus., 45 illus. in color., 1 Paperback / softback
  • Sērija : Theoretical Computer Science and General Issues 12222
  • Izdošanas datums: 18-Aug-2020
  • Izdevniecība: Springer Nature Switzerland AG
  • ISBN-10: 3030577600
  • ISBN-13: 9783030577605
Citas grāmatas par šo tēmu:
  • Mīkstie vāki
  • Cena: 46,91 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 55,19 €
  • Ietaupiet 15%
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 1314, 2020, Revised Selected Papers 1st ed. 2020Palielināt
  • Formāts: Paperback / softback, 249 pages, height x width: 235x155 mm, weight: 454 g, 45 Illustrations, color; 736 Illustrations, black and white; X, 249 p. 781 illus., 45 illus. in color., 1 Paperback / softback
  • Sērija : Theoretical Computer Science and General Issues 12222
  • Izdošanas datums: 18-Aug-2020
  • Izdevniecība: Springer Nature Switzerland AG
  • ISBN-10: 3030577600
  • ISBN-13: 9783030577605
Citas grāmatas par šo tēmu:
Permanent link: https://www.kriso.lv/db/9783030577605.html
Keywords:
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.