Concepts, Techniques, and Models of Computer Programming
It is based on the kernel language approach, in which practical languages and paradigms are translated to simple kernel languages, which consist of small numbers of programmer-significant concepts. This shows the deep relationships between the paradigms and how to use them together
Custom Search
Showing posts with label PROGRAMMING Tutorials. Show all posts
Showing posts with label PROGRAMMING Tutorials. Show all posts
Wednesday, June 4, 2008
Concepts, Techniques, and Models of Computer Programming
Logic, Programming and Prolog (2ed)
Logic, Programming and Prolog (2ed)
by Ulf Nilsson and Jan Maluszynski
Previously published by John Wiley & Sons Ltd.
Type Theory and Functional Programming
Type Theory and Functional Programming
This is now out of print. I had hoped to prepare a revised version before making it available online, but sadly this hasn't happened.
Functional Programming and Parallel Graph Rewriting
Functional Programming and Parallel Graph Rewriting
Implementing Functional Languages: A Tutorial
Implementing Functional Languages: A Tutorial
This book gives a practical approach to understanding implementations of non-strict functional languages using lazy graph reduction. The book is intended to be a source of practical labwork material, to help make functional-language implementations `come alive', by helping the reader to develop, modify and experiment with some non-trivial compilers.
How to Design Programs
How to Design Programs
This Web tree is the publisher-endorsed, on-line version of the book. You may purchase a paper copy directly from MIT Press
or any other bookstore
Programming Languages
Programming Languages
DDK is a framework for writing the interpreters discussed in the book. The binaries are fully working versions of the interpreters, but the source distribution is simply the framework with a dummy implementation of the interpreters. The source distrubition is released under the same license as the book. The binaries may be downloaded and freely used, but we reserve all rights to the binaries themselves and the source code from which they were produced
Object Oriented Programming
Object Oriented Programming
The page you are visiting has been replaced. Please visit our new main web site - incorporated as part of the Department of Information Technology web. Updated information regarding staff, address, research, education and others can primarily be found there.
Programming from Specifications
Programming from Specifications
The second edition retains the simple approach of the original: the integration of specification, development and coding, and the use of ordinary (classical) logic. Additions include more material on data refinement, a complete chapter on recursively defined types, and two further extended case studies.
Object-Oriented System Development Object-Oriented System Development
Object-Oriented System Development Object-Oriented System Development
The original hardcover textbook edition (ISBN 0-201-56355-X) of Object-Oriented System Development by Dennis de Champeaux, Douglas Lea, and Penelope
Structure & Interpretation of Computer Programs
Structure & Interpretation of Computer Programs
This book is one of a series of texts written by faculty of the Electrical Engineering and Computer Science Department at the Massachusetts Institute of Technology. It was edited and produced by The MIT Press under a joint production-distribution arrangement with the McGraw-Hill Book Company.
Dictionary of Programming Languages
Dictionary of Programming Languages
Welcome to the Dictionary of Programming Languages, a compendium of computer coding methods assembled to provide information and aid your appreciation for computer science history. The dictionary currently has over 120 entries.
Designing and Building Parallel Programs
Designing and Building Parallel Programs
Welcome to Designing and Building Parallel Programs ! My goal in this book is to provide 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. I cover both the techniques used to design parallel programs and the tools used to implement these programs. I assume familiarity with sequential programming, but no prior exposure to parallel computing
Patterns for Adaptive Programming (AP)
Patterns for Adaptive Programming (AP)
THE NEXT OFFERING OF THIS COURSE IS: FALL SEMESTER 2003. This course was formerly called Adaptive Object-Oriented Software Development: The Demeter Method. It was then renamed to Aspect-Oriented Software Development and for the purpose of the course description
Advanced Programming Language Design
Advanced Programming Language Design
Written for the student or professional interested in programming language design, this new book examines a wide range of programming language paradigms and issues. Author Raphael Finkel, University of Kentucky, intersperses the discussion of these models with in-depth coverage of the key languages to reinforce them. Finkel begins his
Subscribe to:
Posts (Atom)