LEADER 03981nam  22007575  450 
001 996466061803316
005 20200701060129.0
010   $a3-642-18378-6
024 7 $a10.1007/978-3-642-18378-2
035   $a(CKB)2670000000064765
035   $a(SSID)ssj0000476565
035   $a(PQKBManifestationID)11335975
035   $a(PQKBTitleCode)TC0000476565
035   $a(PQKBWorkID)10480820
035   $a(PQKB)10370650
035   $a(DE-He213)978-3-642-18378-2
035   $a(MiAaPQ)EBC3066321
035   $a(PPN)149906455
035   $a(EXLCZ)992670000000064765
100   $a20110120d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aPractical Aspects of Declarative Languages$b[electronic resource] $e13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings /$fedited by Ricardo Rocha, John Launchbury
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (VIII, 265 p. 64 illus., 12 illus. in color.) 
225 1 $aProgramming and Software Engineering ;$v6539
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-18377-8 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the refereed proceedings of the 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011, held in Austin, TX, USA, in January 2011, co-located with POPL 2011, the Symposium on Principles of Programming Languages. The 17 revised full papers presented together with one application paper were carefully reviewed and selected from 40 submissions. The volume features a variety of contributions ranging from message-passing and mobile networks, concurrent and parallel programming, event processing and reactive programming, profiling and portability in Prolog, constraint programming, grammar combinators, belief set merging and work on new language extensions and tools.
410  0$aProgramming and Software Engineering ;$v6539
606   $aProgramming languages (Electronic computers)
606   $aComputer programming
606   $aComputer logic
606   $aSoftware engineering
606   $aMathematical logic
606   $aArtificial intelligence
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   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
615  0$aProgramming languages (Electronic computers).
615  0$aComputer programming.
615  0$aComputer logic.
615  0$aSoftware engineering.
615  0$aMathematical logic.
615  0$aArtificial intelligence.
615 14$aProgramming Languages, Compilers, Interpreters.
615 24$aProgramming Techniques.
615 24$aLogics and Meanings of Programs.
615 24$aSoftware Engineering.
615 24$aMathematical Logic and Formal Languages.
615 24$aArtificial Intelligence.
676   $a005.13
702   $aRocha$b Ricardo$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLaunchbury$b John$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996466061803316
996   $aPractical Aspects of Declarative Languages$9772495
997   $aUNISA