Free Theory of Programming Languages Books & Tutorials. Read online or download these free Theory of Programming Languages eBooks, lecture notes & tutorials.
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. ...
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...
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...
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...
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...
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.
A program written in a high-level language is converted into a program written in a lower-level language by a compiler.
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.
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.
This book examines today's hardware platforms and gives a tour of how code is linked and executed on IBM mainframes, Unix, and Windows.