71 results - showing 1 - 10
1 2 3 4 5 6 7 8
Ordering
Formal Language Theory for Natural Language Processing by Shuly Wintner
 
0.0 (0)
Ebooks May 29, 2022 3
This course is a mild introduction to Formal Language Theory for students with little or no background in formal systems.
Certified Programming with Dependent Types by Adam Chlipala
 
0.0 (0)
Ebooks May 27, 2022 5
Due in no small part to some bold but unfulfilled promises in the history of computer science, today most people who write software, practitioners and academics alike, assume that the costs of formal program verification outweigh the benefits. 
Semantics of Programming Languages by Andrew M. Pitts
 
0.0 (0)
Ebooks May 27, 2022 5

Ebook Details

Author
Andrew M. Pitts
Publisher
University of Cambridge 2002
The aim of the course is to introduce the structural, operational approach to programming language semantics.
Introduction to Type Theory by Herman Geuvers
 
0.0 (0)
Ebooks May 26, 2022 3

Ebook Details

Author
Herman Geuvers
Publisher
Radboud University Nijmegen 2011
The author gives an introductory overview of type theory for PhD students. He focuses on the use of type theory for compile-time checking of functional programs and on the use of types in proof assistants (theorem provers).
Lectures on the Curry-Howard Isomorphism by Morten Heine B. Sorensen, Pawel Urzyczyn
 
0.0 (0)
Ebooks May 26, 2022 4

Ebook Details

Author
Morten Heine B. Sorensen, Pawel Urzyczyn
Publisher
Elsevier Science 2006
The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory.
 
0.0 (0)
Ebooks May 26, 2022 4

Ebook Details

Author
P.D. Terry
Publisher
Rhodes University 1996
Designed for computer science students studying for a second or final year course in compilers/programming language translation, this text manages to combine theory, practical applications and enough use of compiler writing tools to give students a solid introduction to the subject.
Linkers and Loaders by John R. Levine
 
0.0 (0)
Ebooks May 26, 2022 2

Ebook Details

Author
John R. Levine
Publisher
Morgan Kaufmann 1999
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. ...
The Theory of Languages and Computation by Jean Gallier, Andrew Hicks
 
0.0 (0)
Ebooks May 26, 2022 3

Ebook Details

Author
Jean Gallier, Andrew Hicks
Publisher
University of Pennsylvania 2006
From the table of contents: Automata; Formal Languages (A Grammar for Parsing English, Context-Free Grammars, Derivations and Context-Free Languages, Normal Forms for Context-Free Grammars, Chomsky Normal Form, ...); Computability; Current Topics.
Semantics: Advances in Theories and Mathematical Models by Muhammad Tanvir Afzal (ed.)
 
0.0 (0)
Ebooks May 26, 2022 3

Ebook Details

Author
Muhammad Tanvir Afzal (ed.)
Publisher
InTech 2012
The current book is a nice blend of 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; Semantic Web and Interfaces.
The Z Notation: A Reference Manual by J. M. Spivey
 
0.0 (0)
Ebooks May 26, 2022 1

Ebook Details

Author
J. M. Spivey
Publisher
Prentice Hall 1992
The standard Z notation for specifying and designing software has evolved over the best part of a decade. This an informal but rigorous reference manual is written with the everyday needs of readers and writers of Z specifications in mind.
71 results - showing 1 - 10
1 2 3 4 5 6 7 8
0
Shares