language: UNITY

Language:
UNITY
Package:
HOL-UNITY
Version:
2.1
Parts:
verification tool
Author:
?
Location:
?
Description:
?
Contact:
Flemming Andersen <fa@tfl.dk> ?
Updated:
?
Language:
UNITY
Package:
MasPar Unity
Version:
1.0
Parts:
translator(UNITY->MPL), documentation
Author:
Martin Huber, University of Karlsruhe, Germany
Location:
ftp://SanFrancisco.ira.uka.de/pub/maspar/maspar_unity*
Description:
?
Contact:
Lutz Prechelt <prechelt@ira.uka.de>
Updated:
?

Related Items

This work supported by Idiom Consulting. Idiom is a full-service ISP, providing Internet access in Northern California and Web hosting worldwide.

Please send updates to free-compilers@idiom.com

The HTML is maintained by David Muir Sharnoff and the entries themselves are currently maintained by Bryan Miller.

Copyright (c) 1992-1998 David Muir Sharnoff, All Rights Reserved
Copyright (c) 1994-1996, Steven Allen Robenalt, All Rights Reserved