LEADER 03719nam  22007935  450 
001 996466226103316
005 20230330005746.0
010   $a3-319-27436-8
024 7 $a10.1007/978-3-319-27436-2
035   $a(CKB)4340000000001250
035   $a(SSID)ssj0001599549
035   $a(PQKBManifestationID)16305943
035   $a(PQKBTitleCode)TC0001599549
035   $a(PQKBWorkID)14892382
035   $a(PQKB)11258186
035   $a(DE-He213)978-3-319-27436-2
035   $a(MiAaPQ)EBC6303371
035   $a(MiAaPQ)EBC5579692
035   $a(Au-PeEL)EBL5579692
035   $a(OCoLC)933560761
035   $a(PPN)190884797
035   $a(EXLCZ)994340000000001250
100   $a20151216d2015      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aLogic-Based Program Synthesis and Transformation$b[electronic resource] $e25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /$fedited by Moreno Falaschi
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (XVII, 385 p. 88 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9527
300   $aIncludes index.
311   $a3-319-27435-X 
327   $aSemantics of Logic Languages -- Ecient compilation of functional logic programs -- Types and security -- Optimization -- Static analysis -- Automated Verication -- Program debugging and slicing -- Smart Environments -- Program Transformation -- Constraint Solving and Programming. .
330   $aThis book constitutes the thoroughly refereed post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions. 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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9527
606   $aComputer science
606   $aSoftware engineering
606   $aMachine theory
606   $aArtificial intelligence
606   $aComputer science?Mathematics
606   $aDiscrete mathematics
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aFormal Languages and Automata Theory
606   $aArtificial Intelligence
606   $aDiscrete Mathematics in Computer Science
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aMachine theory.
615  0$aArtificial intelligence.
615  0$aComputer science?Mathematics.
615  0$aDiscrete mathematics.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aFormal Languages and Automata Theory.
615 24$aArtificial Intelligence.
615 24$aDiscrete Mathematics in Computer Science.
676   $a005.115
702   $aFalaschi$b Moreno$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466226103316
996   $aLogic-Based Program Synthesis and Transformation$92914320
997   $aUNISA