This book is an introductory programming textbook for those using SML. It emphasizes mathematical structures, modelling and abstraction as a basis for programming, introducing students to formal methods concepts early. The authors concentrate on the basics of program design rather than on the design of efficient algorithms. The book has a dual purpose, firstly to teach program design based on a set of simple, clean & powerful concepts and secondly to teach the fundamental concepts of computer science in an informal but precise way.
This product is part of the following series. Click on a series title to see the full list of products in the series.
A rich collection of programming problems and a wide variety of examples.
Coverage of modelling and abstraction using data structures and the SML module system.
Overview and statement of objectives at the start of each chapter.
An introduction to producing technical documentation based on the SML module system.
Extensive material in the appendices covering the SML language and module system and selected parts of the SML basis library.
Accompanying Web Site supporting the book, containing all the program code, further teaching material and links to SML systems and other useful resources.
Table of Contents
Basic Values and Operators
Tuples and Records
Problem Solving I
Problem Solving II
Tagged Values. Partial Functions
Input/Output in SML
Problem Solving III
A. SML systems B. Overview of Standard ML C. Overview of the SML module system D. Selected parts of the SML basis library E. Modules of sets and tables F. The ASCII alphabet
Pearson offers special pricing when you package your text with other student resources.
If you're interested in creating a cost-saving package for your students, contact your
Suggested retail price
About the Author(s)
Michael Hansen is an Associate Professor in the Department of Information Technology at the Technical University of Denmark. He has written numerous papers in the areas of formal methods, real-time and hybrid systems.
Hans Rischel is an Associate Professor in the Department of Information Technology at the Technical University of Denmark. He has written numerous papers in the areas of formal methods, real-time and hybrid systems.