Muutke küpsiste eelistusi

Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 1416, 2020, Proceedings 1st ed. 2020 [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 221 pages, kõrgus x laius: 235x155 mm, kaal: 454 g, 4 Illustrations, color; 668 Illustrations, black and white; XII, 221 p. 672 illus., 4 illus. in color., 1 Paperback / softback
  • Sari: Theoretical Computer Science and General Issues 12073
  • Ilmumisaeg: 09-Sep-2020
  • Kirjastus: Springer Nature Switzerland AG
  • ISBN-10: 3030590240
  • ISBN-13: 9783030590246
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
Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 1416, 2020, Proceedings 1st ed. 2020Suurem pilt
  • Formaat: Paperback / softback, 221 pages, kõrgus x laius: 235x155 mm, kaal: 454 g, 4 Illustrations, color; 668 Illustrations, black and white; XII, 221 p. 672 illus., 4 illus. in color., 1 Paperback / softback
  • Sari: Theoretical Computer Science and General Issues 12073
  • Ilmumisaeg: 09-Sep-2020
  • Kirjastus: Springer Nature Switzerland AG
  • ISBN-10: 3030590240
  • ISBN-13: 9783030590246
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783030590246.html
Märksõnad:
This book constitutes the proceedings of the 15th International Symposium on Functional and Logic Programming, FLOPS 2020, held in Akita, Japan*, in September 2020.





The 12 papers presented in this volume were carefully reviewed and selected from 25 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory.





*The conference was held virtually due to the COVID-19 pandemic.
Theory and Practice of Second-Order Rewriting: Foundation, Evolution,
and SOL.- The Bang Calculus Revisited.- Functional Pearl: The Distributive
-Calculus.- Polynomial time over the reals with parsimony.- Session Types
without Sophistry (System Description).- Restriction on cut in cyclic proof
system for symbolic heaps.- On the Effectiveness of Higher-Order Logic
Programming in Language-Oriented Programming.- Declarative Pearl: Deriving
Monadic Quicksort.- Language-Integrated Query with Nested Data Structures and
Grouping.- An efficient composition of bidirectional programs by memoization
and lazy update.- Implementing, and Keeping in Check, a DSL Used in
E-Learning.- System Description: Lang-n-Change -- A Tool for Transforming
Languages.