Welcome
Copyright © SirsiDynix. All rights reserved.
(Build horizon-8.0.1.5407)
Center Of Excellence for Jordanian Public University Library System (COE-JOPULS)
العربية (السعودية)
English (United States)
Log in
Help
Welcome
Jordanian Union Catalogue
360 Search
Search Libraries Catalogue
Simple
Advanced
Power
Community Resource
Search History
My List
My Account
Search
Options
Refine
Start Over
Show details
Hide details
Duplicate Items
Add to My List
Print
Sorts and Limits
Sorts:
None
Author
Publication Date
Publisher
Subject
Title
Title:
Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Björn Franke.
Lecture Notes in Computer Science,
Lecture notes in computer science,
Main Entry:
Franke, Björn. editor.
SpringerLink (Online service)
Publisher:
Springer Berlin Heidelberg : Imprint: Springer,
Publication Date:
2015.
Publication Place:
Berlin, Heidelberg :
ISBN:
9783662466636
Subject:
Computer science.
Computer programming.
Software engineering.
Programming languages (Electronic computers).
computer logic.
Computer science.
Programming Languages, Compilers, Interpreters.
Software engineering.
Programming Techniques.
Logics and Meanings of Programs.
Series:
Lecture Notes in Computer Science, 9031
Lecture notes in computer science, 9031
Contents:
Invited Paper -- A Graphical Model for Context-Free Grammar Parsing -- Compiler Engineering and Compiling Techniques A Refactoring Library for Scala Compiler Extensions -- Feature-Specific Profiling -- A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages -- Faster, Practical GLL Parsing -- Analysis and Optimisation -- A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation -- Staged Points-to Analysis for Large Code Bases -- Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes -- Optgen: A Generator for Local Optimizations -- Formal Techniques -- Towards a Scalable Framework for Context-Free Language Reachability -- Protocols by Default: Safe MPI Code Generation Based on Session Types -- Verifying Fast and Sparse SSA-Based Optimizations in Coq.
Related Records:
Springer eBooks
Printed edition: 9783662466629
Cover Image:
Results 1 - 1 of 1
Agency:
Collection:
Item Type:
Status:
Barcode:
Media Type:
JUST Main Library
Electronic Resources
No Circulation
Available Online
-714503
Book