000 03826nam a22005055i 4500
001 978-3-031-71294-4
003 DE-He213
005 20251030112944.0
007 cr nn 008mamaa
008 240907s2024 sz | s |||| 0|eng d
020 _a9783031712944
_9978-3-031-71294-4
024 7 _a10.1007/978-3-031-71294-4
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
245 1 0 _aLogic-Based Program Synthesis and Transformation
_h[electronic resource] :
_b34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings /
_cedited by Juliana Bowles, Harald Søndergaard.
250 _a1st ed. 2024.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2024.
300 _aXVI, 241 p. 57 illus., 19 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14919
505 0 _a -- Synthesis and Transformation. -- Parallel Assembly Synthesis. -- Improving Logic Programs by Adding Functions. -- Decision Procedures. -- Deciding Knowledge Problems Modulo Classes of Permutative Theories. -- Binary Implication Hypergraphs for the Representation and Simplification of Propositional Formulae. -- Combined Abstract Congruence Closure for Theories with Associativity or Commutativity. -- A Certifying Algorithm for Linear (and Integer) Feasibility in Horn Constraint Systems. -- Deployment. -- Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications. -- Specification, Refactoring and Testing. -- An Axiomatic Category-Based Access Control Model for Smart Homes. -- Towards Specification-Guarded Refactoring. -- Impact and Performance of Randomized Test-Generation Using Prolog. -- Term and Graph Rewriting. -- Proving Uniqueness of Normal Forms wrt Reduction of Term Rewriting Systems. -- Rewriting Induction for Higher-Order Constrained Term Rewriting Systems. -- Introducing Quantification into a Hierarchical Graph Rewriting Language. -- Introducing Quantification into a Hierarchical Graph Rewriting Language.
520 _aThis book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9–10, 2024. The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows: Synthesis and Transformation; Decision Procedures; Deployment; Specification, Refactoring and Testing; and Term and Graph Rewriting.
650 0 _aComputer science.
_958552
650 1 4 _aComputer Science Logic and Foundations of Programming.
_968173
700 1 _aBowles, Juliana.
_eeditor.
_0(orcid)0000-0002-5918-9114
_1https://orcid.org/0000-0002-5918-9114
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_983920
700 1 _aSøndergaard, Harald.
_eeditor.
_0(orcid)0000-0002-2352-1883
_1https://orcid.org/0000-0002-2352-1883
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_983921
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031712937
776 0 8 _iPrinted edition:
_z9783031712951
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14919
856 4 0 _uhttps://doi.org/10.1007/978-3-031-71294-4
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
999 _c63190
_d63190