Herbert C.W. An Introduction to Programming Using Alice 2.2

Course Technology, Cengage Learning, 2011. — 370 p.Alice is a dialect of Standard ML, augmented with support for lazy evaluation, concurrency (multithreading and distributed computing via remote procedure calls) and constraint programming. Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers.An Introduction to Programming Using Alice 2.2 provides students with a solid introduction to concepts of programming, logic, and related mathematics through the use of Alice, a proven tool for motivating beginning programmers. This new edition has been fully updated to take advantage of the new movie making, virtual reality, and gaming capabilities of Alice
2.2. All chapters are supported with robust exercise sets and visual diagrams.Alice is a freeware object-oriented educational programming language with an integrated development environment (IDE). Alice uses a drag and drop environment to create computer animations using 3D models. The software was developed first at University of Virginia, then Carnegie Mellon (from 1997).