LEADER 04146nam  22007215  450 
001 9910483003203321
005 20200630162402.0
010   $a3-319-45279-7
024 7 $a10.1007/978-3-319-45279-1
035   $a(CKB)3710000000872901
035   $a(DE-He213)978-3-319-45279-1
035   $a(OCoLC)993770866$z(OCoLC)150398356$z(OCoLC)793077375$z(OCoLC)827359491$z(OCoLC)868638864
035   $a(MiAaPQ)EBC6298898
035   $a(MiAaPQ)EBC5591221
035   $a(Au-PeEL)EBL5591221
035   $a(OCoLC)958953679
035   $a(PPN)195510704
035   $a(EXLCZ)993710000000872901
100   $a20160916d2016      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aProgramming Languages $e20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings /$fedited by Fernando Castor, Yu David Liu
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (X, 187 p. 72 illus.)
225 1 $aProgramming and Software Engineering ;$v9889
311   $a3-319-45278-9 
327   $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.
330   $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.
410  0$aProgramming and Software Engineering ;$v9889
606   $aProgramming languages (Electronic computers)
606   $aSoftware engineering
606   $aComputer programming
606   $aMathematical logic
606   $aComputer logic
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
615  0$aProgramming languages (Electronic computers).
615  0$aSoftware engineering.
615  0$aComputer programming.
615  0$aMathematical logic.
615  0$aComputer logic.
615 14$aProgramming Languages, Compilers, Interpreters.
615 24$aSoftware Engineering.
615 24$aProgramming Techniques.
615 24$aMathematical Logic and Formal Languages.
615 24$aLogics and Meanings of Programs.
676   $a005.13
702   $aCastor$b Fernando$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLiu$b Yu David$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483003203321
996   $aProgramming languages$9877120
997   $aUNINA