Introduction to Programming using SML

Series
Addison-Wesley
Author
Michael Hansen / Hans Rischel  
Publisher
Addison-Wesley
Cover
Softcover
Edition
1
Language
English
Total pages
355
Pub.-date
April 1999
ISBN13
9780201398205
ISBN
0201398206
Related Titles



Description

 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.

Features

  • Attractive and reader-friendly presentation.
  • Clear and careful explanations.
  • 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

  1. Getting Started
  2. Basic Values and Operators
  3. Tuples and Records
  4. Problem Solving I
  5. Lists
  6. Problem Solving II
  7. Tagged Values. Partial Functions
  8. Finite Trees
  9. Higher-Order Functions
  10. Finite Sets
  11. Modules
  12. Tables
  13. Input/Output in SML
  14. Interactive Programs
  15. Problem Solving III
  16. Iteration
  17. Imperative Programming
 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