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): Anthony A. Aaby

233 Pages

Programming Languages Lecture Notes

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.

Author(s): Clinton L. Jeffery

NA Pages

Foundations of Programming for High Performance Computing

This course note is an introduction to high performance computing (HPC) on modern desktop computer architectures. The targeted audience is undergraduate students who are not engaged in a computer science program but who want to be exposed to the principles HPC (relevant to desktop computers) and take advantage of them in their field of study.

Author(s): Marc MORENO MAZA

NA Pages

Languages Lecture Notes

This lecture note explains the following concepts related to programming languages such as fundamental concepts of language design, Programming paradigms, Basic concepts of language implementation, Programming environments, History of programming languages and some recent directions in programming languages research.

Author(s): Keunwoo Lee

NA Pages

Programming Languages (S.F. Smith)PDF

This book is a much more appropriate book for a modern programming languages course than a traditional one based on paradigms. Topics covered includes: Parsing, Interpretation, Desugaring, Adding Functions to the Language, From Substitution to Environments, Functions Anywhere, 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 and Alternate Application Semantics.

Author(s): Shriram Krishnamurthi

207 Pages

Implementing Functional Languages A Tutorial

Currently this section contains no detailed description for the page, will update this page soon.

Author(s):

Pages