Programming languages and language design
| ACM Student Chapter Lecture |
Programming languages and language design  | Programming and language design
similar to constructed natural languages (Esperanto and the like), but with a different audience and purpose
(note paper by Guy Steele on "Growing a Language") |
| ACM Student Chapter Lecture |
Programming languages and language design  | Programming and language design
|
| | The context of programming language design
programming languages are designed for programmers, but also methodology experts, theorists, hardware architects |
| ACM Student Chapter Lecture |
Programming languages and language design | | Programming and language design
|
| | The context of programming language design
|
| | Ingredients of a language definition
context-free syntax, context-sensitive constraints, more-or-less formal semantics, reference implementation, tools and documentation |
| ACM Student Chapter Lecture |
Programming languages and language design | | Programming and language design
|
| | The context of programming language design
|
| | Ingredients of a language definition
|
| | Types: context-sensitive syntax or static semantics
Chomsky's "color-less green ideas sleep furiously" |
| ACM Student Chapter Lecture |
Programming languages and language design | | Programming and language design
|
| | The context of programming language design
|
| | Ingredients of a language definition
|
| | Types: context-sensitive syntax or static semantics
|
| | Denotational semantics
a formal approach to semantics, similar to Model Theory in mathematical logic, but based here on Lambda Calculus |