A Practical Theory of Programming (E. Hehner)

Theory in Programming Practice

This note explains the following topics: Text Compression, Error Detection and Correction, Cryptography, Finite State Machines, Recursion and Induction, Relational Database.

Author(s): Jayadev Misra

250 Pages

Programming Language Concepts Lecture Notes

This note explains the following topics: Object-oriented programming, Data encapsulation with classes, Subclasses and inheritance, Abstract classes, Exception handling, Reflection, Concurrent programming, Functional programming, Logic programming, Scripting languages.

Author(s): Madhavan Mukund

182 Pages

Structure and Interpretation of Computer Programs

This note covers the following topics: Functions, Values and Side Effects, Control and Higher-Order Functions, Environments and Lambda, Newton's Method and Recursion, Data Abstraction, Sequences and Iterables, Objects, Lists, and Dictionaries, Mutable Data Types, Object-Oriented Programming, Inheritance, Generic Functions, Coercion and Recursive Data, Functional Programming, Declarative Programming, Unification, MapReduce, Parallelism.

Author(s): Amir Kamil

NA Pages

How To Design Programs An Introduction To Programming and Computing (M. Felleisen, et al)

The main focus of this book is the design process that leads from problem statements to well-organized solutions; it deemphasizes the study of programming language details, algorithmic minutiae, and specific application domains. It covers the following topics: Processing Simple Forms of Data, Processing Arbitrarily Large Data, Abstracting Designs, Generative Recursion, Accumulating Knowledge, Changing the State of Variables, Changing Compound Values.

Author(s): Matthias Felleisen, Robert Bruce Findler, Matthew Flatt and Shriram Krishnamurthi

NA Pages

A Practical Theory of Programming (E. Hehner)

This note covers the following topics: Basic Theories, Basic Data Structures, Function Theory, Program Theory, Programming Language, Recursive Definition, Theory Design and Implementation, Concurrency and Interaction.

Author(s): Eric C.R. Hehner

242 Pages

Programming from the Ground Up (J. Bartlett)

This book covers the following topics: Computer Architecture, Functions, Files, Reading and Writing Simple Records, Developing Robust Programs, Sharing Functions with Code Libraries, Intermediate Memory Topics, High-Level Languages and Optimization.

Author(s): Jonathan Bartlett

326 Pages

The Programmers Stone (Alan Colston)

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

Author(s):

Pages

How to Think Like a Computer Scientist

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

Author(s):

Pages

Learn to Program A Tutorial for the Future Programmer (Chris Pine)

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

Author(s):

Pages

Programming from Specifications (Carroll Morgan)

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

Author(s):

Pages