User:GregorR~enwiki/Books/Programming Language Theory
 | The Wikimedia Foundation's book rendering service has been withdrawn. Please upload your Wikipedia book to one of the external rendering services. |
 | You can still create and edit a book design using the Book Creator and upload it to an external rendering service:
|
| This user book is a user-generated collection of Wikipedia articles that can be easily saved, rendered electronically, and ordered as a printed book. If you are the creator of this book and need help, see Help:Books (general tips) and WikiProject Wikipedia-Books (questions and assistance). Edit this book: Book Creator · Wikitext Order a printed copy from: PediaPress [ About ] [ Advanced ] [ FAQ ] [ Feedback ] [ Help ] [ WikiProject ] [ Recent Changes ] | ||||||||
Programming Language Theory
[edit]A Wikipedia Collection
[edit]- Introduction
- Programming language
- Programming language theory
- Lambda calculus
- Semantics
- Semantics of programming languages
- Denotational semantics
- Operational semantics
- Types
- Type theory
- Type system
- Typed lambda calculus
- Simply typed lambda calculus
- Type safety
- Polymorphism (computer science)
- Subtype polymorphism
- Type inference
- Dependent type
- Linear type system
- Analysis
- Program analysis
- Static program analysis
- Control flow analysis
- Control flow graph
- CFA
- Abstract interpretation
- Data-flow analysis
- Effect system
- Program slicing
- Program transformation
- Verification
- Correctness (computer science)
- Formal verification
- Hoare logic