Muutke küpsiste eelistusi

Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 78, 2021, Proceedings 1st ed. 2022 [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 177 pages, kõrgus x laius: 235x155 mm, kaal: 296 g, 26 Illustrations, color; 34 Illustrations, black and white; IX, 177 p. 60 illus., 26 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 13290
  • Ilmumisaeg: 13-Mar-2022
  • Kirjastus: Springer Nature Switzerland AG
  • ISBN-10: 3030988686
  • ISBN-13: 9783030988685
Teised raamatud teemal:
  • Pehme köide
  • Hind: 53,33 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 62,74 €
  • 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
Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 78, 2021, Proceedings 1st ed. 2022Suurem pilt
  • Formaat: Paperback / softback, 177 pages, kõrgus x laius: 235x155 mm, kaal: 296 g, 26 Illustrations, color; 34 Illustrations, black and white; IX, 177 p. 60 illus., 26 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 13290
  • Ilmumisaeg: 13-Mar-2022
  • Kirjastus: Springer Nature Switzerland AG
  • ISBN-10: 3030988686
  • ISBN-13: 9783030988685
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783030988685.html
Märksõnad:
This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.*





The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk.





*Conference was held as a hybrid event due to the COVID-19 pandemic.

String Abstract Domains and Their Combination. - Data Type Inference for Logic Programming.- Automating the Functional Correspondence between Higher-Order Evaluators and Abstract Machines.- S-semantics - an Example.- Disjunctive Delimited Control.- Towards Substructural Property-Based Testing.- The Next 700 Program Transformers.- Representation and Processing of Instantaneous and Durative Temporal Phenomena.- Pre x-Based Tracing in Message-Passing Concurrency.