Abstract Data Types in Standard ML (Wiley Professional Computing) [Paperback]

Rachel Harrison (Author)

Book Description

Publication Date: June 1993 | ISBN-10: 0471938440 | ISBN-13: 978-0471938446 | Edition: 1

Abstract Data Types in Standard ML Rachel Harrison University of Southampton, UK This book presents a thorough treatment of data abstraction within a functional framework. The approach to abstract data types strikes a balance between the theoretical and the practical, stressing the importance of producing reliable, high quality code which is robust and reusable. Exercises are provided, as well as numerous annotated algorithms in Standard ML. Emphasis is placed on the key concepts of specification, modularity and generality. Each chapter shows how to specify, apply and implement generic abstract data types, and the specifications are used to verify and validate the correctness of the implementations. Students of software engineering will find this book particularly attractive—for courses such as advanced programming, program design, algorithms and data structures, and program specification. It will also serve as a useful post-introductory text for courses on functional programming.

Editorial Reviews

From the Publisher

Uses a functional framework to present a thorough treatment of data abstraction. Stresses the importance of correct specification and implementation of both abstract data types and algorithms. Features numerous annotated algorithms in Standard Meta Language (SML) and emphasizes the practical value of producing reliable, reusable, high-quality code. Includes a copious amount of exercises and worked examples.

Product Details

• Paperback: 222 pages
• Publisher: Wiley; 1 edition (June 1993)
• Language: English
• ISBN-10: 0471938440
• ISBN-13: 978-0471938446
• Product Dimensions: 9.6 x 6.6 x 0.5 inches
• Shipping Weight: 13.9 ounces
• Average Customer Review: 5.0 out of 5 stars  See all reviews (1 customer review)
• Amazon Best Sellers Rank: #3,389,637 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

Most Helpful Customer Reviews

1 of 1 people found the following review helpful:

5.0 out of 5 stars Excellent book, May 10, 2004

By A Customer

This review is from: Abstract Data Types in Standard ML (Wiley Professional Computing) (Paperback)

This book is a little gem! I'm using this book for a class I'm taking on algebraic specification of data types.
The author uses Guttag's manner of specifying abstract data types, using signatures/functors. Works through validation and verifications, demonstrating how you can garantee that your code is mathematically sound. SML is almost perfect for that.
The powers for abstraction that SML supports shines through the book, showing how this language can be used, at the very least, for rapid, accurate prototyping, if not outright deployment. Nowdays, claiming SML (or its OO variant - OCaml) is "slow"is very much nonsense.
This is a great complement to your SML programming, functional programming skills, or even a nice set of skills to have for general programming, even if you don't deploy functional languages but want to be able to quickly and correctly specify abstract data types.