000779068 000__ 03633cam\a2200553Ii\4500
000779068 001__ 779068
000779068 005__ 20230306142909.0
000779068 006__ m\\\\\o\\d\\\\\\\\
000779068 007__ cr\nn\nnnunnun
000779068 008__ 170119s2017\\\\sz\a\\\\o\\\\\101\0\eng\d
000779068 019__ $$a974649945
000779068 020__ $$a9783319516769$$q(electronic book)
000779068 020__ $$a3319516760$$q(electronic book)
000779068 020__ $$z9783319516752
000779068 0247_ $$a10.1007/978-3-319-51676-9$$2doi
000779068 035__ $$aSP(OCoLC)ocn969122791
000779068 035__ $$aSP(OCoLC)969122791$$z(OCoLC)974649945
000779068 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dAZU$$dOCLCF$$dOCLCO$$dUAB$$dESU$$dUPM$$dIOG
000779068 049__ $$aISEA
000779068 050_4 $$aQA76.615$$b.P33 2017eb
000779068 08204 $$a005.13$$223
000779068 1112_ $$aPADL (Symposium)$$n(19th :$$d2017 :$$cParis, France)
000779068 24510 $$aPractical aspects of declarative languages :$$b19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings /$$cYuliya Lierler, Walid Taha (eds.).
000779068 2463_ $$aPADL 2017
000779068 264_1 $$aCham, Switzerland :$$bSpringer,$$c2017.
000779068 300__ $$a1 online resource (x, 215 pages) :$$billustrations.
000779068 336__ $$atext$$btxt$$2rdacontent
000779068 337__ $$acomputer$$bc$$2rdamedia
000779068 338__ $$aonline resource$$bcr$$2rdacarrier
000779068 347__ $$atext file$$bPDF$$2rda
000779068 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v10137
000779068 4901_ $$aLNCS sublibrary. SL 2, Programming and software engineering
000779068 500__ $$aInternational conference proceedings.
000779068 500__ $$aIncludes author index.
000779068 5050_ $$aEliminating Irrelevant Non-determinism in Functional Logic Programs -- Canonicalizing High-Level Constructs in Picat -- An Overview of P_rhoLog -- Integrating Answer Set Programming with Object-oriented Languages -- Extending Answer Set Programs with Interpreted Functions as First-class Citizens -- Lowering the learning curve for declarative programming: a Python API for the IDP system -- Failing Faster: Overlapping Patterns for Property-Based Testing -- Boltzmann Samplers for Closed Simply-Typed Lambda Terms -- Selection Equilibria of Higher-Order Games -- DALI for Cognitive Robotics: Principles and Prototype Implementation -- Funky Grooves: Declarative Programming of Full-Fledged Musical Applications -- A Domain-Specific Language for Software-Defined Radio -- A Declarative DSL for Customizing ASCII Art -- Using Iterative Deepening for Probabilistic Logic Inference.
000779068 506__ $$aAccess limited to authorized users.
000779068 520__ $$aThis book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages. The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with novel applications and implementation techniques for all forms of declarative languages, including but not limited to logic, constraint, and functional languages. .
000779068 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed January 19, 2017).
000779068 650_0 $$aDeclarative programming languages$$vCongresses.
000779068 650_0 $$aDeclarative programming$$vCongresses.
000779068 7001_ $$aLierler, Yuliya,$$eeditor.
000779068 7001_ $$aTaha, Walid,$$d1972-$$eeditor.
000779068 77608 $$iPrint version:$$z9783319516752
000779068 830_0 $$aLecture notes in computer science ;$$v10137.
000779068 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000779068 852__ $$bebk
000779068 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-51676-9$$zOnline Access$$91397441.1
000779068 909CO $$ooai:library.usi.edu:779068$$pGLOBAL_SET
000779068 980__ $$aEBOOK
000779068 980__ $$aBIB
000779068 982__ $$aEbook
000779068 983__ $$aOnline
000779068 994__ $$a92$$bISE