000753351 000__ 02591cam\a2200493Ii\4500 000753351 001__ 753351 000753351 005__ 20230306141553.0 000753351 006__ m\\\\\o\\d\\\\\\\\ 000753351 007__ cr\cn\nnnunnun 000753351 008__ 160115s2016\\\\sz\a\\\\o\\\\\100\0\eng\d 000753351 020__ $$a9783319282282$$q(electronic book) 000753351 020__ $$a331928228X$$q(electronic book) 000753351 020__ $$z9783319282275 000753351 0247_ $$a10.1007/978-3-319-28228-2$$2doi 000753351 035__ $$aSP(OCoLC)ocn934801693 000753351 035__ $$aSP(OCoLC)934801693 000753351 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDXCP$$dOCLCF$$dOCLCO$$dAZU 000753351 049__ $$aISEA 000753351 050_4 $$aQA76.615$$b.P33 2016eb 000753351 08204 $$a005.13$$223 000753351 1112_ $$aPADL (Symposium)$$n(18th :$$d2016 :$$cSaint Petersburg, Fla.) 000753351 24510 $$aPractical aspects of declarative languages$$h[electronic resource] :$$b18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings /$$cMarco Gavanelli, John Reppy (eds.). 000753351 2463_ $$aPADL 2016 000753351 264_1 $$aCham :$$bSpringer,$$c2016. 000753351 300__ $$a1 online resource (x, 187 pages) :$$bcolor illustrations. 000753351 336__ $$atext$$btxt$$2rdacontent 000753351 337__ $$acomputer$$bc$$2rdamedia 000753351 338__ $$aonline resource$$bcr$$2rdacarrier 000753351 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v9585 000753351 4901_ $$aLNCS sublibrary. SL 2, Programming and software engineering 000753351 500__ $$aInternational conference proceedings. 000753351 506__ $$aAccess limited to authorized users. 000753351 520__ $$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. 000753351 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed January 15, 2016). 000753351 650_0 $$aDeclarative programming languages$$vCongresses. 000753351 650_0 $$aDeclarative programming$$vCongresses. 000753351 7001_ $$aGavanelli, Marco,$$eeditor. 000753351 7001_ $$aReppy, John,$$eeditor. 000753351 830_0 $$aLecture notes in computer science ;$$v9585. 000753351 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering. 000753351 852__ $$bebk 000753351 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-28228-2$$zOnline Access$$91397441.1 000753351 909CO $$ooai:library.usi.edu:753351$$pGLOBAL_SET 000753351 980__ $$aEBOOK 000753351 980__ $$aBIB 000753351 982__ $$aEbook 000753351 983__ $$aOnline 000753351 994__ $$a92$$bISE