Forwarded query: LARCH on a PC?

• To: azzolini@cs.unibo.it (Massimo Azzolini)
• Subject: Forwarded query: LARCH on a PC?
• From: leavens@cs.iastate.edu (Gary Leavens)
• Date: Wed, 12 Oct 94 15:27:22 CDT
• Cc: horning@src.dec.com, leavens@cs.iastate.edu
• Delivery-Date: Wed, 12 Oct 94 13:32:42 -0700
• In-Reply-To: horning@src.dec.com's message of Wed, 12 Oct 94 12:28:58 -0700 <9410121928.AA09984@roustabout.pa.dec.com>

Azzolini,

   I'm looking for a version of LARCH that runs on a PC compatible machine using
   MS-DOS.

A version of LARCH *what* on a PC?  Do you want the shared language
checker (LSL) or the prover (LP)?  If so I can't help you.
I don't think the shared language checker or the prover have much hope
of running under MS-DOS, although with enough disk space you could probably
get them to run under Linux on a PC.  Windows/NT might work too.

However, we do have a parser for the interface specification language
Larch/C++ (i.e., tailored interface specifications for C++)
that runs on PCs even under MS-DOS.
It compiles under Turbo/C++, etc.  Send me mail if you're interested.

	Gary Leavens

	229 Atanasoff Hall, Department of Computer Science
	Iowa State Univ., Ames, Iowa 50011-1040 USA / leavens@cs.iastate.edu
	phone: (515)294-1580 fax: (515)294-0258 ftp site: ftp.cs.iastate.edu
	URL: http://www.cs.iastate.edu/~leavens/larchc++.html

• Forwarded query: LARCH on a PC?
• From: horning

• Prev: Re: Forwarded query: LARCH on a PC?
• Next: Forwarded query: LARCH on a PC?
• Index: Larch archive index