Program Understanding and Re-engineering: Calculi and Applications

Search: ^c

Research/PURe Web Changed Changed by
Camila 04 Nov 2007 - 18:58 - r15 JoseBacelarAlmeida
CAMILA: VDM meets Haskell The Camila project explores how concepts from the VDM specification language and the functional programming language Haskell can be combined ...
ChopaChops 09 Aug 2004 - 09:53 - NEW JoostVisser
What is ChopaChops? ChopaChops is a collection of tools for slicing and chopping of graphs. Currently, only a single tools is included in the collection: JReach ...
CoddFish 11 Jul 2007 - 21:47 - r19 JoostVisser
!CoddFish !CoddFish is a Haskell library that offers strongly typed support for database programming. Documentation !CoddFish makes extensive use of heterogenous ...
Found 3 topics.
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM