alice
manual.

Contents
Tour
Language
Library
CP Tutorial
Tools
Index

tool
support

The Alice system features the following command line tools:

• alice, the interactive top-level
• alicec, the batch compiler
• alicerun, the virtual machine
• alicelink, the static linker
• alicedep, the dependency analyzer

In addition, the following interactive browsers are available as part of the library:

• Inspector, for browsing data structures
• Explorer, for browsing search trees