LEADER 03916nam  22008535  450 
001 9910483856703321
005 20251226202316.0
010   $a3-319-14125-2
024 7 $a10.1007/978-3-319-14125-1
035   $a(CKB)3710000000325038
035   $a(SSID)ssj0001408579
035   $a(PQKBManifestationID)11782481
035   $a(PQKBTitleCode)TC0001408579
035   $a(PQKBWorkID)11347034
035   $a(PQKB)11756862
035   $a(DE-He213)978-3-319-14125-1
035   $a(MiAaPQ)EBC6295016
035   $a(MiAaPQ)EBC5577180
035   $a(Au-PeEL)EBL5577180
035   $a(OCoLC)906025688
035   $a(PPN)18315245X
035   $a(EXLCZ)993710000000325038
100   $a20141210d2014      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aLogic-Based Program Synthesis and Transformation $e23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers /$fedited by Gopal Gupta, Ricardo Peņa
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (XII, 237 p. 51 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8901
300   $aIncludes index.
311 08$a3-319-14124-4 
327   $aSpecification -- Synthesis -- Verification -- Analysis -- Optimization -- Specialization -- Security -- Certification -- Applications and tools -- Program/model manipulation -- Transformation techniques for any programming language paradigm.
330   $aThis book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions during two rounds of reviewing and improvement. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8901
606   $aComputer programming
606   $aSoftware engineering
606   $aMachine theory
606   $aArtificial intelligence
606   $aComputer science$xMathematics
606   $aDiscrete mathematics
606   $aComputer science
606   $aProgramming Techniques
606   $aSoftware Engineering
606   $aFormal Languages and Automata Theory
606   $aArtificial Intelligence
606   $aDiscrete Mathematics in Computer Science
606   $aComputer Science Logic and Foundations of Programming
615  0$aComputer programming.
615  0$aSoftware engineering.
615  0$aMachine theory.
615  0$aArtificial intelligence.
615  0$aComputer science$xMathematics.
615  0$aDiscrete mathematics.
615  0$aComputer science.
615 14$aProgramming Techniques.
615 24$aSoftware Engineering.
615 24$aFormal Languages and Automata Theory.
615 24$aArtificial Intelligence.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aComputer Science Logic and Foundations of Programming.
676   $a005.11
702   $aGupta$b Gopal$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPeņa$b Ricardo$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483856703321
996   $aLogic-Based Program Synthesis and Transformation$92914320
997   $aUNINA