LEADER 03609nam  22007695  450 
001 996466057203316
005 20200629191351.0
010   $a3-319-28228-X
024 7 $a10.1007/978-3-319-28228-2
035   $a(CKB)3780000000096457
035   $a(SSID)ssj0001616846
035   $a(PQKBManifestationID)16347063
035   $a(PQKBTitleCode)TC0001616846
035   $a(PQKBWorkID)14920363
035   $a(PQKB)11750170
035   $a(DE-He213)978-3-319-28228-2
035   $a(MiAaPQ)EBC6280930
035   $a(MiAaPQ)EBC5576676
035   $a(Au-PeEL)EBL5576676
035   $a(OCoLC)934801693
035   $a(PPN)191705454
035   $a(EXLCZ)993780000000096457
100   $a20160108d2016      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aPractical Aspects of Declarative Languages$b[electronic resource] $e18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings /$fedited by Marco Gavanelli, John Reppy
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (X, 187 p. 29 illus. in color.) 
225 1 $aProgramming and Software Engineering ;$v9585
300   $aIncludes index.
311   $a3-319-28227-1 
330   $aThis book constitutes the refereed proceedings of the 18th International Symposium on Practical Aspects of Declarative Languages, PADL 2016, held in St. Petersburg, FL, USA, in January 2016. The 11 revised papers presented were carefully reviewed and selected from 17 initial submissions for inclusion in the book. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc.
410  0$aProgramming and Software Engineering ;$v9585
606   $aProgramming languages (Electronic computers)
606   $aComputer programming
606   $aComputer logic
606   $aSoftware engineering
606   $aAlgorithms
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
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
615  0$aProgramming languages (Electronic computers).
615  0$aComputer programming.
615  0$aComputer logic.
615  0$aSoftware engineering.
615  0$aAlgorithms.
615 14$aProgramming Languages, Compilers, Interpreters.
615 24$aProgramming Techniques.
615 24$aLogics and Meanings of Programs.
615 24$aSoftware Engineering.
615 24$aAlgorithm Analysis and Problem Complexity.
676   $a005.131
702   $aGavanelli$b Marco$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aReppy$b John$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466057203316
996   $aPractical Aspects of Declarative Languages$9772495
997   $aUNISA