Computer Science BooksPrograming Theory Books

Programming from Specifications (Carroll Morgan)

Advertisement

Programming from Specifications (Carroll Morgan)

Programming from Specifications (Carroll Morgan)

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

Author(s):

s Pages

Advertisement

Advertisement

Similar Books
Programming Languages Theory and Practice

Programming Languages Theory and Practice

This note covers the following topics: Inductive Definitions, Transition Systems, Defining a Language, Concrete Syntax, Abstract Syntax Trees, Abstract Binding Trees, Functional Language, Control and Data Flow, Imperative Functional Programming, Cost Semantics and Parallelism, Data Structures and Abstraction, Lazy Evaluation, Dynamic Typing, Subtyping and Inheritance, Concurrency.

s277 Pages
Algorithmic Introduction to Coding Theory

Algorithmic Introduction to Coding Theory

This note introduces the theory of error-correcting codes to computer scientists. This theory, dating back to the works of Shannon and Hamming from the late 40's, overflows with theorems, techniques, and notions of interest to theoretical computer scientists. The course will focus on results of asymptotic or algorithmic significance. Principal topics include: Construction and existence results for error-correcting codes, Limitations on the combinatorial performance of error-correcting codes, Decoding algorithms, Applications in computer science.

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

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.

sNA Pages
A Practical Theory of Programming (E. Hehner)

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.

s242 Pages
Designing and Building Parallel Programs (I. Foster)

Designing and Building Parallel Programs (I. Foster)

This book provides a practitioner's guide for students, programmers, engineers, and scientists who wish to design and build efficient and cost-effective programs for parallel and distributed computer systems. It covers the following topics: Parallel Computers and Computation, Designing Parallel Algorithms, Quantitative Basis for Design, Putting Components Together, Tools, Fortran M, High Performance Fortran, Message Passing Interface and Performance Tools.

sNA Pages
Concepts, Techniques, and Models of Computer Programming (P. Roy, S. Harid, PDF, 939p) Mirror

Concepts, Techniques, and Models of Computer Programming (P. Roy, S. Harid, PDF, 939p) Mirror

This book covers the following topics: Introduction to Programming, General Computation Models, Declarative Programming Techniques, Declarative Concurrency, Relational Programming, Object-Oriented Programming, Encapsulated State, Concurrency and State, Specialized Computation Models, Semantics and Virtual Machines.

s567 Pages
The Programmers Stone (Alan  Colston)

The Programmers Stone (Alan Colston)

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

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

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.

s Pages