Picture 1 of 1

Stock photo

Logic-Based Program Synthesis and Transformation: 31st International Symposium, - Picture 1 of 1

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)

grandeagleretail (955894)

98.6% positive feedback

Price:

US $83.18

(inclusive of GST)

ApproximatelyS$ 107.20

+ $15.66 shipping

Estimated delivery Tue, 2 Dec - Wed, 31 Dec

Returns:

No returns, but backed by .

Condition:

Brand New

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