단행본 상세

서지주요정보
Programming Languages 20th Brazilian Symposium, SBLP 2016, Maring찼, Brazil, September 22-23, 2016, Proceedings
서명 / 저자 Programming Languages [electronic resource] : 20th Brazilian Symposium, SBLP 2016, Maring찼, Brazil, September 22-23, 2016, Proceedings / edited by Fernando Castor, Yu David Liu.
저자명 Castor, Fernando. editor. ; Liu, Yu David. editor.
단체명 SpringerLink (Online service)
발행사항 Cham : Springer International Publishing : Imprint: Springer, 2016.
총서명 Lecture Notes in Computer Science, 0302-9743 ; 9889
Online Access 라이센스 없음

서지기타정보

서지기타정보
ISBN 9783319452791
기타 표준번호 10.1007/978-3-319-45279-1
청구기호 QA76.7-76.73
형태사항 X, 187 p. 72 illus. online resource.
언어 English
내용 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.
주제 Computer science.
Computer programming.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Mathematical logic.
Computer Science.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Programming Techniques.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
보유판 및 특별호 저록 Springer eBooks
Printed edition: 9783319452784
QR CODE