Languages and Compilers for Parallel Computing
EAN: 9783642376573
NASA Formal Methods
This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal...
EAN: 9783642380877
Reliable Software Technologies -- Ada-Europe 2013
This book constitutes the refereed proceedings of the 18th Ada-Europe International Conference on...
EAN: 9783642386008
Correct System Design
This book is dedicated to Professor Ernst--RĂĽdiger Olderog on the occasion of his 60th birthday....
EAN: 9783319235059
Languages for Embedded Systems and their Applications
The demand for further improvement in these aspects can only be satis?ed by designing embedded...
EAN: 9781402097133
Verified Software: Theorie, Tools, Experiments
This volume constitutes the thoroughly refereed post-conference proceedings of the 5th...
EAN: 9783642541070
Application and Theory of Petri Nets and Concurrency
This book constitutes the proceedings of the 36th International Conference on Application and...
EAN: 9783319194875
Coordination Models and Languages
This book constitutes the refereed proceedings of the 17th International Conference on...
EAN: 9783319192819
Formal Methods for Multicore Programming
This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the...
EAN: 9783319189406
Compiler Construction
This book constitutes the proceedings of the 24th International Conference on Compiler...
EAN: 9783662466629
Stochastic Model Checking
The use of stochastic models in computer science is wide spread, for instance in performance...
EAN: 9783662454886
Verified Software: Theories, Tools and Experiments
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th...
EAN: 9783319121536
Specification, Algebra, and Software
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited...
EAN: 9783642546235
Using and Improving OpenMP for Devices, Tasks, and More
This book constitutes the refereed proceedings of the 10th International Workshop on OpenMP, held...
EAN: 9783319114538
Reachability Problems
This book constitutes the proceedings of the 8th International Workshop on Reachability Problems,...
EAN: 9783319114385
Retargetable C Compiler, A
Examines the design and implementation of lcc, a production-quality, retargetable compiler for...
EAN: 9780805316704
Compiling with Continuations
This book shows how continuation-passing style is used as an intermediate representation on which...
EAN: 9780521033114
Modern Compiler Implementation in C
Describes all phases of a modern compiler, including techniques in code generation and register...
EAN: 9780521607650
Modern Compiler Implementation in ML
Describes all phases of a modern compiler, including techniques in code generation and register...
EAN: 9780521607643
Linkers and Loaders
Whatever your programming language, whatever your platform, you probably tap into linker and...
EAN: 9781558604964
Modern Compiler Implementation in Java
This textbook describes all phases of a modern compiler, including current techniques in code...
EAN: 9780521820608
