Programming languages : 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, proceedings /: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, proceedings. (2016)

• Record Type: Book
• Other Titles: SBLP 2016
• Further Information: Note: Edited by Fernando Castor, Yu David Liu.
• Editors: Castor, Fernando; Liu, Yu David
• Other Names: SBLP (Symposium), 20th
• Contents: Language 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.
• Publisher Details: Cham : Springer
• Publication Date: 2016
• Extent: 1 online resource (x, 187 pages), illustrations
• Subjects: 005.13; Computer science; Programming languages (Electronic computers) -- Congresses; Programming languages (Electronic computers); Computer Science; Programming Languages, Compilers, Interpreters; Software Engineering; Programming Techniques; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Computers -- Software Development & Engineering -- General; Computers -- Programming -- General; Mathematics -- Logic; Software Engineering; Computer programming / software development; Mathematical theory of computation; Software engineering; Logic design; Computers -- Programming Languages -- General; Programming & scripting languages: general; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319452791; 3319452797; 3319452789; 9783319452784
• Related ISBNs: 9783319452784
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed September 23, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.