Introduction to Programming using SML provides a thorough introduction to the principles of programming and program design using the Standard ML programming language. The emphasis throughout is to p of programming into practice. The examples and exercises teach the student how to apply basic theoretical concepts to produce succinct and elegant programs and program designs. Coverage includes an introduction to fundamental data structures and their applications. The notions of binding, environment, store, closure and evaluation are introduced in order to explain the meaning of programs in an informal but precise way. Thus, the authors provide the reader with a set of durable programming concepts which will exist well into the next generation of programming languages. Features of the book include: 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

About the Author

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.

0201398206AB04062001

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

Store Description

The Saint Bookstore has a range of over 1 million titles available.

Visit Seller's Storefront

Seller's business information

SB ONLINE LTD
50 Devonshire Road, Southport, PR9 7BZ, United Kingdom

Sale & Shipping Terms

Terms of Sale

Please order through the Abebooks checkout. We only take orders through Abebooks - We don't take direct orders by email or phone.

Refunds or Returns: A full refund of the purchase price will be given if returned within 30 days in undamaged condition.

As a seller on abebooks we adhere to the terms explained at http://www.abebooks.co.uk/docs/HelpCentral/buyerIndex.shtml - if you require further assistance please email us at orders@thesaintbookstore.co.uk