Programming Languages BooksProgramming Languages Theory Books

Theory Introduction to Programming Languages by Anthony A. Aaby

Theory Introduction to Programming Languages by Anthony A. Aaby

Theory Introduction to Programming Languages by Anthony A. Aaby

This text is designed to formalize and consolidate the knowledge of programming languages and to provide a base for further studies in the semantics and translation of programming languages. Topics covered includes: Syntax, Semantics, Abstraction and Generalization, Domains and Types, Environment, Functional Programming, Logic Programming, Imperative Programming, Concurrent Programming, PCN, Pragmatics, 6 Evaluation of Programming Languages.

Author(s):

s233 Pages
Similar Books
Type Theory and Functional Programming

Type Theory and Functional Programming

This PDF covers the following topics related to Programming Languages Theory : Introduction to Logic, Functional Programming and &

s378 Pages
Programming Languages Application and Interpretation

Programming Languages Application and Interpretation

This note covers the following topics: Parsing, Interpretation, Adding Functions to the Language, From Substitution to Environments, Functions, Mutation: Structures and Variables, Recursion and Cycles: Procedures and Data, Objects, Memory Management, Representation Decisions, Desugaring as a Language Feature, Control Operations, Checking Program Invariants Statically: Types, Checking Program Invariants Dynamically: Contracts, Alternate Application Semantics.

s207 Pages
Principles of Programming Languages

Principles of Programming Languages

This note covers the following topics: The Elements of Programming, Theoretical Introduction of Programming Languages: Syntax, Semantics, Types, Abstraction on Data, Delayed Evaluation on Data and on Control, Type Correctness, Evaluators for Functional Programming, Logic Programming, Imperative Programming.

s423 Pages
Introduction to Programming Lectures Notes

Introduction to Programming Lectures Notes

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.

sNA Pages