LEADER 03940nam  22007335  450 
001 996200005203316
005 20200706082445.0
010   $a3-319-19686-3
024 7 $a10.1007/978-3-319-19686-2
035   $a(CKB)3710000000422590
035   $a(SSID)ssj0001547037
035   $a(PQKBManifestationID)16141397
035   $a(PQKBTitleCode)TC0001547037
035   $a(PQKBWorkID)14796243
035   $a(PQKB)10874007
035   $a(DE-He213)978-3-319-19686-2
035   $a(MiAaPQ)EBC6295082
035   $a(MiAaPQ)EBC5577353
035   $a(Au-PeEL)EBL5577353
035   $a(OCoLC)911179871
035   $a(PPN)186399375
035   $a(EXLCZ)993710000000422590
100   $a20150513d2015      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aPractical Aspects of Declarative Languages$b[electronic resource] $e17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings /$fedited by Enrico Pontelli, Tran Cao Son
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (X, 149 p. 29 illus.)
225 1 $aProgramming and Software Engineering ;$v9131
300   $aIncludes index.
311   $a3-319-19685-5 
327   $aOntology-Driven Data Semantics Discovery for Cyber-Security -- State Space Planning Using Transaction Logic -- On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule -- Declaratively Solving Google Code Jam Problems with Picat -- Reactive Single-Page Applications with Dynamic Dataflow -- CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry -- Implementation and Performance of Probabilistic Inference -- A Haskell Implementation of a Rule-Based Program Transformation for C Programs -- On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization -- Programming Microcontrollers in OCaml: the OCaPICProject.
330   $aThis book constitutes the refereed proceedings of the 17th International Symposium on Practical Aspects of Declarative Languages, PADL 2015, held in Portland, OR, USA, in June 2015. The 10 revised papers presented were carefully reviewed and selected from numerous submissions. The papers cover all forms of declarative concepts, including, functional, logic, constraints, etc.
410  0$aProgramming and Software Engineering ;$v9131
606   $aProgramming languages (Electronic computers)
606   $aComputer programming
606   $aComputer logic
606   $aSoftware engineering
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
615  0$aProgramming languages (Electronic computers).
615  0$aComputer programming.
615  0$aComputer logic.
615  0$aSoftware engineering.
615 14$aProgramming Languages, Compilers, Interpreters.
615 24$aProgramming Techniques.
615 24$aLogics and Meanings of Programs.
615 24$aSoftware Engineering.
676   $a005.13
702   $aPontelli$b Enrico$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSon$b Tran Cao$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996200005203316
996   $aPractical Aspects of Declarative Languages$9772495
997   $aUNISA