Ditemukan 5 dokumen yang sesuai dengan query
Andy Gill, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Implementation and Application of Functional Languages, IFL 2011, held in Lawrence, Kansas, USA, in October 2011. The 11 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers by researchers and practitioners...
Berlin: Springer-Verlag, 2012
e20407809
eBooks Universitas Indonesia Library
Seidl, Helmut, author
The book deals with the optimization phase of compilers. In this phase, programs are transformed in order to increase their efficiency. To preserve the semantics of the programs in these transformations, the compiler has to meet the associated applicability conditions. These are checked using static analysis of the programs. In...
Berlin: Springer-Verlag, 2012
e20408703
eBooks Universitas Indonesia Library
Parsons, David, author
This book presents a guide to the core features of Java and some more recent innovations, enabling the reader to build skills and confidence though tried-and-trusted stages, supported by exercises that reinforce key learning points...
London: Springer, 2012
e20407553
eBooks Universitas Indonesia Library
Ben Juurlink, editor
The book presents a detailed methodology for parallelization of this type of applications. It begins with a description of the algorithm, an analysis of the data dependencies and an evaluation of the different parallelization strategies. Then the design and implementation of a novel parallelization approach is presented that is scalable...
New York: Springer, 2012
e20407646
eBooks Universitas Indonesia Library
Arnoldus, B.J., author
This book reveals the mathematical background of templates and shows interesting findings for improving the practical use of templates. First, a framework to determine the necessary computational power for the template metalanguage is presented. The template metalanguage does not need to be Turing-complete to be useful. A non-Turing-complete metalanguage enforces...
Paris: Atlantis Press, 2012
e20420662
eBooks Universitas Indonesia Library
