Programming Languages BooksProgramming Languages Theory Books

Partial Evaluation and Automatic Program Generation

Partial Evaluation and Automatic Program Generation

Partial Evaluation and Automatic Program Generation

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

Author(s):

s Pages
Similar Books
Principles of Programming Languages by David Liu

Principles of Programming Languages by David Liu

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.

s152 Pages
Notes on Programming Language Concepts

Notes on Programming Language Concepts

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.

s43 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
Programming Languages Lecture Notes

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.

sNA Pages