000761372 000__ 03265cam\a2200517Ii\4500
000761372 001__ 761372
000761372 005__ 20230306142152.0
000761372 006__ m\\\\\o\\d\\\\\\\\
000761372 007__ cr\cn\nnnunnun
000761372 008__ 160923s2016\\\\sz\a\\\\o\\\\\101\0\eng\d
000761372 019__ $$a961002818
000761372 020__ $$a9783319452791$$q(electronic book)
000761372 020__ $$a3319452797$$q(electronic book)
000761372 020__ $$z9783319452784
000761372 0247_ $$a10.1007/978-3-319-45279-1$$2doi
000761372 035__ $$aSP(OCoLC)ocn958953679
000761372 035__ $$aSP(OCoLC)958953679$$z(OCoLC)961002818
000761372 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dNJR$$dYDX$$dOCLCF$$dOCLCO
000761372 049__ $$aISEA
000761372 050_4 $$aQA76.7
000761372 08204 $$a005.13$$223
000761372 1112_ $$aSBLP (Symposium)$$n(20th :$$d2016 :$$cMaringá, Brazil)
000761372 24510 $$aProgramming languages :$$b20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, proceedings /$$cedited by Fernando Castor, Yu David Liu.
000761372 2463_ $$aSBLP 2016
000761372 264_1 $$aCham :$$bSpringer,$$c2016.
000761372 300__ $$a1 online resource (x, 187 pages) :$$billustrations.
000761372 336__ $$atext$$btxt$$2rdacontent
000761372 337__ $$acomputer$$bc$$2rdamedia
000761372 338__ $$aonline resource$$bcr$$2rdacarrier
000761372 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v9889
000761372 4901_ $$aLNCS sublibrary. SL 2, Programming and software engineering
000761372 500__ $$aInternational conference proceedings.
000761372 500__ $$aIncludes author index.
000761372 5050_ $$aLanguage Support for Generic Programming in Object-Oriented Languages: Peculiarities, Drawbacks, Ways of Improvement -- JetsonLeap: a Framework to Measure Energy-Aware Code Optimizations in Embedded and Heterogeneous Systems -- A Monadic Semantics for Quantum Computing in Featherweight Java -- Memoized Zipper-based Attribute Grammars -- Purely Functional Incremental Computing -- Automatic Annotating and Checking of Dynamic Ownership -- Certified Derivative Based Parsing of Regular Expressions -- Concurrent hash tables for Haskell -- Optional Type Classes for Haskell -- An algebraic framework for parallelizing recurrence in functional Programming -- A Platform of Scientific Workows for Orchestration of Parallel Components in a Cloud of High Performance Computing Applications -- Comparison between Model Fields and Abstract Predicates.
000761372 506__ $$aAccess limited to authorized users.
000761372 520__ $$aThis book constitutes the proceedings of the 20th Brazilian Symposium on Progamming Languages, SBLP 2016, held in Maringá, Brazil, in September 2016. The 12 papers presented in this volume were carefully reviewed and selected from 26 submissions. They deal with fundamental principles and innovations in the design and implementation of programming languages and systems.
000761372 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 23, 2016).
000761372 650_0 $$aProgramming languages (Electronic computers)$$vCongresses.
000761372 7001_ $$aCastor, Fernando,$$eeditor.
000761372 7001_ $$aLiu, Yu David,$$eeditor.
000761372 830_0 $$aLecture notes in computer science ;$$v9889.
000761372 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000761372 852__ $$bebk
000761372 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-45279-1$$zOnline Access$$91397441.1
000761372 909CO $$ooai:library.usi.edu:761372$$pGLOBAL_SET
000761372 980__ $$aEBOOK
000761372 980__ $$aBIB
000761372 982__ $$aEbook
000761372 983__ $$aOnline
000761372 994__ $$a92$$bISE