Picture 1 of 6
Stock photo
Picture 1 of 6
Stock photo
Lecture Notes in Computer Science Ser.: Logic-Based Program Synthesis and Transformation : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings by Wim Vanhoof (2022, Trade Paperback)
Timeless Reads and Things (521)
99.6% positive feedback
Price:
US $32.69
(inclusive of GST)
ApproximatelyS$ 42.13
+ $55.61 shipping
Returns:
30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Condition:
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherSpringer International Publishing A&G
ISBN-103030988686
ISBN-139783030988685
eBay Product ID (ePID)10057268094
Product Key Features
Number of PagesIX, 177 Pages
Publication NameLogic-Based Program Synthesis and Transformation : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings
LanguageEnglish
Publication Year2022
SubjectSoftware Development & Engineering / General, Computer Science, Networking / General, General
TypeTextbook
AuthorWim Vanhoof
Subject AreaMathematics, Computers
SeriesLecture Notes in Computer Science Ser.
FormatTrade Paperback
Dimensions
Item Weight10.4 Oz
Item Length9.3 in
Item Width6.1 in
Additional Product Features
Dewey Edition23
Series Volume Number13290
Number of Volumes1 vol.
IllustratedYes
Dewey Decimal005.115
Table Of ContentString 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.
SynopsisString 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., 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.
LC Classification NumberQA75.5-76.95
All listings for this product
Be the first to write a review
