Clean Languages Programming
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 resiz
Top: Computers: Programming: Languages: Clean
See Also:
- Top/Computers/Programming/Languages/Haskell
- Top/Computers/Programming/Languages/Functional
- Top/Computers/Parallel Computing/Programming/Languages
- Top/Computers/Programming/Languages/Garbage Collected
- The Game of Life - Life: A Clean Programming Tutorial and Case Study. clean Tutorial for this functional language, in the form clean of a stepwise development of 2 programs to clean animate Conway's Game of Life.
- Sparkle - Clean theorem prover, can help prove partial correctness languages of programs, or useful traits of parts of languages programs; proof process uses hint mechanism, suggests proof languages actions to user; windowing user interface shows content languages graphically in windows that can be resiz
- Wikipedia: Clean Programming Language - Encyclopedia article, with links to many related topics.
- 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.
- Clean Game Library - Full development system for 2D games: arcade, side clean scrollers, platform games.
MySQL - Cache Direct
