Items related to Drawing Programs: The Theory and Practice of Schematic...

Drawing Programs: The Theory and Practice of Schematic Functional Programming - Softcover

 
9781848826199: Drawing Programs: The Theory and Practice of Schematic Functional Programming

This specific ISBN edition is currently not available.

Synopsis

Operating as a practical guide for learning functional programming directly through the diagrams used to define functions, this book describes, and provides access to, a system that gives a level of support akin to that provided in word processing.

"synopsis" may belong to another edition of this title.

Review

Visual programming systems have had a large uptake in industry. However the visual components of such systems have tended to focus on the structure, properties and behaviour of graphical user interfaces and their relationship to textually represented, predominantly imperative, code fragments.

Functional programming has historically appeared to have been more prevalent in the academic computing community. However, it seems to be gaining wider adoption with popular languages such as Python and Ruby supporting the functional paradigm, albeit in an impure form.

The main part of this book is about functional programming and in particular the use of the authors’ graphical functional programming system ‘Clarity’. In Clarity, and in contrast to mainstream ‘visual’ languages, programs are expressed as schematics. The authors argue that functional programming lends itself to graphical schematic representation more advantageously than imperative approaches.

Through the ten chapters of the book, the authors cover, in varying degrees of depth, a wide range of computer programming-related topics, with a natural bias towards functional programming and Clarity. Much of this book is a practical demonstration of the Clarity system and of how the benefits of graphical representations of (functional) computer programs over their textual counterparts may be gained.

There are practical sections describing how to run and use the Clarity system, how to implement distributed systems using Clarity and how to develop extensions to the Clarity system. In addition, the authors describe approaches to the design and development of functional programs and functional programming concepts, such as head and tail recursion, folds and so forth. These sections are supported by extended working examples.

In contrast, there are sections that discuss philosophical topics such as computer program semantics, and more theoretical sections that discuss topics such as functional thinking, artificial intelligence, Bayesian classification and programming systems that deal with uncertainty.

The book is an engaging read and is likely to be of value to anyone interested in computer programming, functional or not. The authors reinforce learning by lots of review questions, and worked through projects and examples. My only criticism is that, on occasion, I thought better signposting was required in order to make clearer the purpose of some of the diversions.

The Clarity system and examples from the book are available for free download.
--8 out of 10, Patrick Hill MBCS CITP, July 2010

About the Author

Tom Addis is an Emeritus Professor of Computer Science in the School of Computing, University of Portsmouth. Since 1994 is a visiting Professor at the Science Studies Centre, Department of Psychology at the University of Bath. He has had a regular technical exchange with the University of Delft involving postgraduate students. For the last 20 years, he has been actively engaged, in conjunction with Prof. Gooding (Science Historian at the University of Bath), in modelling the 'discovery' process. He has worked with the MPRI UK since 1998 developing an expert control and assessment system for oil tankers and with Portech Ltd working on intelligent robot control. He has investigated the use of architectural and urban development theories to understand system evolution as well as exploring `metaphor' as a mechanism for human computer interaction.

Addis joined ICL Research and Advanced Development Centre in 1969 to work on computer speech recognition and user behaviour; the prototype ICL Content Addressable Files Server from which the technique of Extended Relational Analysis evolved. This was applied to developing a series of artificial intelligent systems. In 1981 he moved to Brunel University and in 1986 to the University of Reading as Professor of Computer Science. He was technical consultant to GEC Hirst Research Laboratories for nine years where he developed an engine for knowledge storage. It was during this time that the elements of Schematic Functional Programming emerged, as limitations of ERA became apparent. With Plessey he evolved a wafer manufacturing scheduling system that was deployed in their plant at Plymouth.

He has over 90 major publications since 1970, he is author of Knowledge Systems Design and co-editor of four research books. He was an Associate Editor of the Int. J. Human Computer Studies, and is a MInstP, CPhys, FBCS, FIET, CEng, CITP and FRSA.
Jan Addis is a mathematician and independent consultant. She originally joined Computer Analysts and Programmers Ltd in 1968 as a computer programmer where she produced computer generated timetables (in Assembler) for BA (then BEA) and a suite of monitoring software (in PL1 and Assembler) for the Concorde fatigue-testing program. Between 1971 and 1982 she took a career break and then returned to Reading University as an applications and support programmer. During that time she provided special teaching aids and a name-server for the Reading electronic mail system. In 1987 she linked up with Tom Addis where she investigated man-machine interfaces for programs developed within new computational paradigms. This led to the concept of the Clarity environment. In 1989 Jan developed pagination and interactive editing of the Swedish Yellow Pages. In 1990 she left the group to become a research officer at the Bath University, where she was involved with Profs. David Gooding and Tom Addis in creating the Clarity environment.

In 1996 Jan Addis became a visiting research fellow, a part-time lecturer at Portsmouth University and Managing Director of Clarity Support Ltd. Between 2001 and 2002 she worked as a Research Fellow on the Amuse Project at Portsmouth University.

"About this title" may belong to another edition of this title.

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9781848826175: Drawing Programs: The Theory and Practice of Schematic Functional Programming

Featured Edition

ISBN 10:  1848826176 ISBN 13:  9781848826175
Publisher: Springer, 2010
Softcover