LEADER 04315nam  22006495  450 
001 996465336203316
005 20200804211419.0
010   $a3-642-45284-1
024 7 $a10.1007/978-3-642-45284-0
035   $a(CKB)3710000000031322
035   $a(DE-He213)978-3-642-45284-0
035   $a(SSID)ssj0001067833
035   $a(PQKBManifestationID)11592643
035   $a(PQKBTitleCode)TC0001067833
035   $a(PQKBWorkID)11112725
035   $a(PQKB)11401979
035   $a(MiAaPQ)EBC3093539
035   $a(PPN)176118020
035   $a(EXLCZ)993710000000031322
100   $a20131125d2013      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aPractical Aspects of Declarative Languages$b[electronic resource] $e15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /$fedited by Kostis Sagonas
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (XIV, 261 p. 82 illus.) 
225 1 $aProgramming and Software Engineering ;$v7752
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-45283-3 
327   $aA Library for Declarative Resolution-Independent 2D Graphics -- Analysing the Entire Wikipedia History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis -- A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction -- Supporting Pruning in Tabled LP -- A Portable and Efficient Implementation of Coinductive Logic Programming -- Formalizing a Broader Recursion Coverage in SQL -- A Declarative-Friendly API for Web Document Manipulation -- Implementing Equational Constraints in a Functional Language -- On the Efficient Implementation of Mode-Directed Tabling -- The Generalized Intensional Transformation for Implementing Lazy Functional Languages -- Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs -- Integrative Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application in Debugging -- proSQLite: Prolog File Based Databases via an SQLite Interface -- Dependently Typed Web Client Applications: FRP in Agda in HTML5 -- Parallel Performance of Declarative Programming Using a PGAS Model.
330   $aThis book constitutes the refereed post-proceedings of the 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013, held in Rome, Italy, in January 2013, co-located with POPL 2013, the 40th Symposium on Principles of Programming Languages. The 17 revised papers presented were carefully reviewed and selected from 33 submissions. The volume features original work emphasizing new ideas and implementation techniques for all forms of declarative concepts, including functional, logic, and constraints.
410  0$aProgramming and Software Engineering ;$v7752
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   $aSagonas$b Kostis$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465336203316
996   $aPractical Aspects of Declarative Languages$9772495
997   $aUNISA