ESC/Modula-3 download

The ESC/Modula-3 checker is available for download.  The checker is available for x86-based machines running Windows and for Alpha-based machines running Unix.  However, ESC/Modula-3 is not actively supported (but do see the ESC/Java project pages).

Legal notice:

This software is a research work and is provided "as is".  Compaq disclaims all expressed and implied warranties with regard to such software, including the warranty of fitness for a particular purpose.  In no event shall Compaq be liable for any special, direct, indirect, or consequential damages or any other damages whatsoever, including any loss or any claim for loss of data or profits, arising out of the use or inability to use the software even if Compaq has been advised of the possibility of such damages.  This software shall not be further distributed without prior written permission from Compaq Computer Corporation, and shall not be used for commercial purposes.

Windows 95/NT, x86 Unix, Alpha (1.6 MB) Esc.alpha.bin.Z (3.5 MB)

Using the ESC demo under Windows

The file above contains not only ESC/Modula-3 for Windows (x86), but also a standard demo (a variation of which is described in the ESC overview paper).  To run the demo, unzip the file to a local directory (for example C:\escdemo), start a command-line prompt, and then go to one of the subdirectories 0\src (a simple demo) or 1\src (an advanced demo).  Under Windows/NT, run the makeNT batch file; under Windows 95, run the make95 batch file.  These demos not only run ESC/Modula-3 on the source files, but they also display the error in a little applet (showerr) that allows you to edit the example source file and save it.  After responding to each of ESC's warnings, run the make script again.  If you don't understand how to respond to ESC's warnings, see the overview paper.

To reset the demo, copy D0.wrong to D0.m3 (in demo 0) or D1.wrong to D1.m3 (in demo 1).  Be careful to capitalize the filenames in the way shown here.

To run ESC on other files, create a directory hierarchy like that under 0 and 1.  You will need an .M3IMPTAB file, which is generated by the SRC Modula-3 compiler.  However, by studying the nt386/.M3IMPTAB file in each demo example, you can probably construct one manually instead, if you'd prefer.  Note that you don't need to use the showerr application to show ESC's output; modify the makefile to your liking.

[ESC/Java] [Compaq SRC] [Compaq Research] [Compaq]
Copyright © 1999, 2000, Compaq Computer Corporation. All Rights Reserved.