國立高雄大學圖資館 |

Language: English

Back

Compiler construction24th Internatio...

(1998 :)

Compiler construction24th 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 /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Compiler constructionedited by Bjorn Franke.
Reminder of title:	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 /
remainder title:	CC 2015
other author:	Franke, Bjorn.
corporate name:
Published:	Berlin, Heidelberg :Springer Berlin Heidelberg :2015.
Description:	xii, 253 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Compilers (Computer programs)
Online resource:	http://dx.doi.org/10.1007/978-3-662-46663-6
ISBN:	9783662466636 (electronic bk.)

Compiler construction24th 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 /
Compiler construction24th 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 /[electronic resource] :CC 2015edited by Bjorn Franke. - Berlin, Heidelberg :Springer Berlin Heidelberg :2015. - xii, 253 p. :ill., digital ;24 cm. - Lecture notes in computer science,90310302-9743 ;. - Lecture notes in computer science ;4891..

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.

This book constitutes the proceedings of the 24th International Conference on Compiler Construction, CC 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, in London, UK, in April 2015. The 11 papers presented in this volume were carefully reviewed and selected from 34 submissions. They deal with compiler engineering and compiling techniques; compiler analysis and optimisation and formal techniques in compilers. The book also contains one invited talk in full-paper length.

ISBN: 9783662466636 (electronic bk.)

Standard No.: 10.1007/978-3-662-46663-6doiSubjects--Topical Terms:

219942
Compilers (Computer programs)

LC Class. No.: QA76.76.C65

Dewey Class. No.: 005.453

Compiler construction24th 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 /
LDR:02603nmm a2200361 a 4500 001 462574
003 DE-He213
005 20151023134429.0
006 m d
007 cr nn 008maaau
008 151119s2015 gw s 0 eng d
020 $a 9783662466636 (electronic bk.)
020 $a 9783662466629 (paper)
024 7 $a 10.1007/978-3-662-46663-6 $2 doi
035 $a 978-3-662-46663-6
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.76.C65
072 7 $a UMX $2 bicssc
072 7 $a UMC $2 bicssc
072 7 $a COM051010 $2 bisacsh
072 7 $a COM010000 $2 bisacsh
082 0 4 $a 005.453 $2 23
090 $a QA76.76.C65 $b C386 2015
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Compiler construction $h [electronic resource] : $b 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 / $c edited by Bjorn Franke.
246 3 $a CC 2015
260 $a Berlin, Heidelberg : $b Springer Berlin Heidelberg : $b Imprint: Springer, $c 2015.
300 $a xii, 253 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 9031
505 0 $a 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.
520 $a This book constitutes the proceedings of the 24th International Conference on Compiler Construction, CC 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, in London, UK, in April 2015. The 11 papers presented in this volume were carefully reviewed and selected from 34 submissions. They deal with compiler engineering and compiling techniques; compiler analysis and optimisation and formal techniques in compilers. The book also contains one invited talk in full-paper length.
650 0 $a Compilers (Computer programs) $3 219942
650 1 4 $a Computer Science. $3 212513
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 274102
650 2 4 $a Software Engineering. $3 274511
650 2 4 $a Programming Techniques. $3 274470
650 2 4 $a Logics and Meanings of Programs. $3 275357
700 1 $a Franke, Bjorn. $3 715590
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u http://dx.doi.org/10.1007/978-3-662-46663-6
950 $a Computer Science (Springer-11645)