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
- Title:
- 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)
- Main Title:
- Programming languages : 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, proceedings
- 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.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.356702
- Ingest File:
- 01_318.xml