ramming Language DAdvanced Progesign

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 hiswww.ewalkins.com
Click Here To View Full Details
**********************************************************************************************
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 www.ewalkins.com
Click Here To View Full Details
********************************************************************************************** Designing and Building Parallel ProgramsWelcome 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 computingwww.ewalkins.com
Click Here To View Full Details
********************************************************************************************** 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.
www.ewalkins.com
Click Here To View Full Details
********************************************************************************************** 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.www.ewalkins.com
Click Here To View Full Details
********************************************************************************************** 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 Penelopewww.ewalkins.com
Click Here To View Full Details
********************************************************************************************** Working with Objects
Click Here To View Full Details
********************************************************************************************** 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.www.ewalkins.com
Click Here To View Full Details
********************************************************************************************** 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.www.ewalkins.com
Click Here To View Full Details
********************************************************************************************** Programming in Martin-Löf's Type Theory
Click Here To View Full Details
********************************************************************************************** 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 producedwww.ewalkins.com
Click Here To View Full Details
********************************************************************************************** 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 Pressor any other bookstorewww.ewalkins.com
Click Here To View Full Details
********************************************************************************************** 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.www.ewalkins.com
Click Here To View Full Details
********************************************************************************************** Functional Programming and Parallel Graph Rewriting
www.ewalkins.com
Click Here To View Full Details
********************************************************************************************** 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.
www.ewalkins.com
Click Here To View Full Details
**********************************************************************************************
Logic, Programming and Prolog (2ed)
by Ulf Nilsson and Jan MaluszynskiPreviously published by John Wiley & Sons Ltd.www.ewalkins.com
Click Here To View Full Details
********************************************************************************************
Concepts, Techniques, and Models of Computer ProgrammingIt 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 togetherwww.ewalkins.com
Click Here To View Full Details
********************************************************************************************