東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Compiler construction = 24th Interna...

Franke, Bjorn.

FindBook

Google Book

Amazon

博客來

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 /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Compiler construction/ edited by Bjorn Franke.
其他題名:	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 /
其他題名:	CC 2015
其他作者:	Franke, Bjorn.
出版者:	Berlin, Heidelberg :Springer Berlin Heidelberg : : 2015.,
面頁冊數:	xii, 253 p. :ill., digital ;24 cm.
內容註:	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.
Contained By:	Springer eBooks
標題:	Compilers (Computer programs) -
電子資源:	http://dx.doi.org/10.1007/978-3-662-46663-6
ISBN:	9783662466636 (electronic bk.)

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 /
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 ;5353..

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:

535138
Compilers (Computer programs)

LC Class. No.: QA76.76.C65

Dewey Class. No.: 005.453

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 /
LDR:02603nmm a2200361 a 4500 001 1997856
003 DE-He213
005 20151023134429.0
006 m d
007 cr nn 008maaau
008 151112s2015 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
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 535138
650 1 4 $a Computer Science. $3 626642
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 891123
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Programming Techniques. $3 892496
650 2 4 $a Logics and Meanings of Programs. $3 892495
700 1 $a Franke, Bjorn. $3 2139212
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 5353. $x 0302-9743 $3 1274248
856 4 0 $u http://dx.doi.org/10.1007/978-3-662-46663-6
950 $a Computer Science (Springer-11645)