LEADER 03509nam  22007335  450 
001 9910552718503321
005 20251225212242.0
010   $a3-030-98869-4
024 7 $a10.1007/978-3-030-98869-2
035   $a(MiAaPQ)EBC6921855
035   $a(Au-PeEL)EBL6921855
035   $a(CKB)21393292300041
035   $a(PPN)261518224
035   $a(BIP)83526630
035   $a(BIP)83295714
035   $a(DE-He213)978-3-030-98869-2
035   $a(EXLCZ)9921393292300041
100   $a20220312d2022      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aLogic-Based Program Synthesis and Transformation $e31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7?8, 2021, Proceedings /$fedited by Emanuele De Angelis, Wim Vanhoof
205   $a1st ed. 2022.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022.
215   $a1 online resource (186 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13290
311 08$aPrint version: De Angelis, Emanuele Logic-Based Program Synthesis and Transformation Cham : Springer International Publishing AG,c2022 9783030988685 
320   $aIncludes bibliographical references and index.
327   $aString 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.
330   $aThis 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.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v13290
606   $aComputer science
606   $aMachine theory
606   $aComputer networks
606   $aSoftware engineering
606   $aArtificial intelligence
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
606   $aComputer Communication Networks
606   $aSoftware Engineering
606   $aArtificial Intelligence
615  0$aComputer science.
615  0$aMachine theory.
615  0$aComputer networks.
615  0$aSoftware engineering.
615  0$aArtificial intelligence.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
615 24$aComputer Communication Networks.
615 24$aSoftware Engineering.
615 24$aArtificial Intelligence.
676   $a005.115
676   $a005.115
702   $aVanhoof$b Wim
702   $aDe Angelis$b Emanuele
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910552718503321
996   $aLogic-Based Program Synthesis and Transformation$92914320
997   $aUNINA