This note explains the
following topics: Transition Systems, Defining a Language, A Functional
Language, Control and Data Flow, Imperative Functional Programming, Cost
Semantics and Parallelism, Data Structures and Abstraction, Lazy Evaluation,
Dynamic Typing, Subtyping and Inheritance, Storage Management.
This PDF covers the following topics related to Programming Languages
Theory : Prelude: The Study of Programming Languages, Functional Programming:
Theory and Practice, Macros, Objects, and Backtracking, Type systems, In Which
We Say Goodbye.
This note covers programming languages and programming
paradigms, OCaml operational Semantics: an overview, Names, Bindings and
environment, A static analysis primer, Stack machines, Functions everywhere,
Static scope and dynamic scope.
This note presents
major features of programming languages, with primary emphasis on the role of
particular language features in writing good software; programming language
design alternatives; various programming paradigms embodied in languages, such
as procedural, data-flow, functional and object-oriented languages.
Objective of
this note is to teach the fundamental principles of programming, making use of
the typical aspects of the object-oriented, functional, and imperative
programming paradigms. Such basic principles are presented by referring to the
Java programming language.