Linkers and Loaders
by John R. Levine
Publisher: Morgan Kaufmann 1999
ISBN/ASIN: 1558604960
ISBN-13: 9781558604964
Number of pages: 256
Description:
The author presents clear practical advice to help you create faster, cleaner code. You'll learn to avoid the pitfalls associated with Windows DLLs, take advantage of the space-saving, performance-improving techniques supported by many modern linkers, make the best use of the UNIX ELF library scheme, and much more.
Download or read it online for free here:
Download link
(multiple formats)
Similar books
Denotational Semantics: A Methodology for Language Developmentby David Schmidt - Kansas State University
Denotational semantics is a methodology for giving mathematical meaning to programming languages and systems. This book was written to make denotational semantics accessible to a wider audience and to update existing texts in the area.
(7066 views)
Semantics: Advances in Theories and Mathematical Modelsby Muhammad Tanvir Afzal (ed.) - InTech
The book is a blend of a number of great ideas, theories, mathematical models, and practical systems in the domain of Semantics. Topics include: Background; Queries, Predicates, and Semantic Cache; Algorithms and Logic Programming; etc.
(4766 views)
Concrete Semantics: With Isabelle/HOLby Tobias Nipkow, Gerwin Klein - Springer
The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a tool for formal proofs about computer science artefacts. All the mathematics is formalised in Isabelle and much of it is executable.
(2124 views)
Programming Languages: Theory and Practiceby Robert Harper - Carnegie Mellon University
What follows is a working draft of a planned book that seeks to strike a careful balance between developing the theoretical foundations of programming languages and explaining the pragmatic issues involved in their design and implementation.
(6145 views)