Free Theory of Programming Languages Books & Tutorials. Read online or download these free Theory of Programming Languages eBooks, lecture notes & tutorials.
45 results - showing 1 - 10
1 2 3 4 5
Ordering
Dictionary of Programming Languages (Neal Ziring)
 
0.0 (0)

Ebook Details

Author(s)
Publisher
The Dictionary of Programming Languages is an online reference guide to computer coding techniques put together to educate and enhance your understanding of computer science history. Over 120 words are now listed in the dictionary. ...
Creative Multilingualism: A Manifesto (Katrin Kohl, et al.)
 
0.0 (0)
The book includes four years of collaborative study on creative multilingualism undertaken in a variety of fields, including the social and scientific sciences as well as the humanities. It is organized like a manifesto, with ten key claims that...
Language Translation Using PCCTS and C++: A Reference Guide (Terence John Parr)
 
0.0 (0)

Ebook Details

This free programming book serves as a reference for the source-to-source parser generator SORCERER and the tree-parser generator ANTLR, Another Tool for Language Recognition. It is not meant to be a textbook or guide to language translation; rather, it...
Semantics in Action - Applications and Scenarios (Muhammad Tanvir Afzal)
 
0.0 (0)

Ebook Details

Publisher
The current book is an amalgamation of many excellent concepts, applications, case studies, and useful systems in the Semantics field. There are two separate volumes to the book. The one we're reading right now is the second book, and...
Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Andrea Asperti, et al)
 
0.0 (0)

Ebook Details

Publisher
This free programming book offers an accessible introduction to category theory for computer scientists as well as useful examples in the context of programming language design. In "Categories, Types and Frameworks," the mathematical structures that have supported language design...
Concrete Semantics: With Isabelle/HOL (Tobias Nipkow, et al.)
 
0.0 (0)

Ebook Details

Publisher
The reader learns how to use a proof assistant as a practical instrument for formal proofs concerning computer science artifacts as well as the art of exact logical reasoning from this book.
Introduction to Compilers and Language Design (Douglas Thain)
 
0.0 (0)

Ebook Details

Author(s)
A program written in a high-level language is converted into a program written in a lower-level language by a compiler.
Essentials of Linguistics (Catherine Anderson)
 
0.0 (0)

Ebook Details

The primary topics of theoretical linguistics discussed in this book are phonetics, phonology, morphology, syntax, and semantics. Discussions of psycholinguistic and neurolinguistic results are also included.
Let's Build a Compiler: Compiler Building Tutorial (Jack W. Crenshaw)
 
0.0 (0)
This book offers a hands-on introduction to the use of high-level programming languages. It clarifies the inner workings of a compiler and piques the reader's curiosity about compiler design, a crucial area of computer science.
Linkers and Loaders (John R. Levine)
 
0.0 (0)

Ebook Details

This book examines today's hardware platforms and gives a tour of how code is linked and executed on IBM mainframes, Unix, and Windows.
45 results - showing 1 - 10
1 2 3 4 5