- Clean
The Software Technology Research Group develops this pure, lazy functional programming language, with hybrid static/dynamic typing, and Integrated Development Environment (IDE) with syntax coloring editor; descriptions, papers, software downloads.
http://clean.cs.ru.nl/
(Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It
- Sparkle
Clean theorem prover, can help prove partial correctness of programs, or useful traits of parts of programs; proof process uses hint mechanism, suggests proof actions to user; windowing user interface shows content graphically in windows that can be resized, moved, closed at will.
http://www.cs.ru.nl/Sparkle/
(Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It
|
