Software
The software presented on this page has been written by members and previous members of the Software Technology Group.
Helium, Haskell compiler for learning Haskell
| Helium is a functional programming language (a subset of Haskell) and a compiler designed especially for teaching. | ||
| Authors/Maintainers | Jurriaan Hage, and Bastiaan Heeren | |
| Additional Material | http://foswiki.cs.uu.nl/foswiki/Helium/WebHome | |
| Paper | http://dx.doi.org/10.1145/1596638.1596650 | |
Parser Combinators
| Parser Combinators | The Utrecht University parser combinator library provides online, error correction, annotation free, applicative style parser combinators. In addition to this there is a monadic and an idomatic interface. Parsers do analyse themselves to avoid commonly made errors. | |
| Authors/Maintainers | Doaitse Swierstra | |
T3: Automated Unit Testing Tool for JAVA
| T3 is a powerful automated unit testing tool to test Java classes. Given a target class to test, it randomly generates sequences of calls to the class' methods to test it. It catches unexpected exception; but if you had written assertions in the class, then violations to those will be caught as well. | ||
| Authors/Maintainers | Wishnu Prasetya | |
| Paper | http://dl.acm.org/citation.cfm?doid=2786805.2803182 | |
UHC, Utrecht Haskell Compiler
| UHC | UHC is the Utrecht Haskell Compiler. UHC supports almost all Haskell98 features plus experimental extensions. UHC is written using UUAGC. | |
| Authors/Maintainers | Atze Dijkstra, Doaitse Swierstra, and Jeroen Fokker | |
| Additional Material | http://foswiki.cs.uu.nl/foswiki/UHC https://github.com/UU-ComputerScience/uhc | |
| Paper | http://dx.doi.org/10.1145/1596638.1596650 | |
UUAGC, Utrecht University Attribute Grammar Compiler
| UUAGC is the Utrecht University Attribute Grammar Compiler, a preprocessor for Haskell which makes it easy to define tree walks using the intuitive concepts of inherited and synthesized attributes. | ||
| Authors/Maintainers | Jeroen Bransen, Arie Middelkoop, Doaitse Swierstra, and Atze Dijkstra | |
| Additional Material | http://foswiki.cs.uu.nl/foswiki/HUT/AttributeGrammarSystem | |