LEADER 03903nam  22007335  450 
001 996466194203316
005 20230221130615.0
010   $a3-319-94460-6
024 7 $a10.1007/978-3-319-94460-9
035   $a(CKB)4100000005323369
035   $a(DE-He213)978-3-319-94460-9
035   $a(MiAaPQ)EBC6248039
035   $a(PPN)229502326
035   $a(EXLCZ)994100000005323369
100   $a20180709d2018      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aLogic-Based Program Synthesis and Transformation$b[electronic resource] $e27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers /$fedited by Fabio Fioravanti, John P. Gallagher
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XVI, 341 p. 59 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10855
311   $a3-319-94459-2 
320   $aIncludes bibliographical references and index.
327   $aAnalysis -- Program development -- Term rewriting and CHR -- Theory -- Verification.
330   $aThis book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017. The 19 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 19 revised papers, this volume includes the abstracts of the invited talks by three outstanding speakers: Sumit Gulwani, Marieke Huisman, and Grigore Ro?u. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion, applications, and tools.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10855
606   $aComputer science
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aComputer programming
606   $aArtificial intelligence
606   $aMachine theory
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aProgramming Techniques
606   $aArtificial Intelligence
606   $aFormal Languages and Automata Theory
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615  0$aComputer programming.
615  0$aArtificial intelligence.
615  0$aMachine theory.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aProgramming Techniques.
615 24$aArtificial Intelligence.
615 24$aFormal Languages and Automata Theory.
676   $a005.115
702   $aFioravanti$b Fabio$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aGallagher$b John P$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466194203316
996   $aLogic-Based Program Synthesis and Transformation$92914320
997   $aUNISA