User loginNavigation |
ESC not just for Java any more
Dana N. Xu's ESC/Haskell:
I this paper, we describe an extended static checking tool for Haskell, named ESC/Haskell, that is based on symbolic computation and assisted by a few novel properties. One novelty is our use of Haskell as the specification language itself for pre/post conditions. By Jim Apple at 2006-08-22 12:50 | LtU Forum | previous forum topic | next forum topic | other blogs | 12172 reads
|
Browse archivesActive forum topics
|
Recent comments
5 days 17 hours ago
5 days 17 hours ago
1 week 3 days ago
1 week 6 days ago
2 weeks 2 min ago
2 weeks 2 days ago
2 weeks 2 days ago
2 weeks 2 days ago
2 weeks 4 days ago
2 weeks 4 days ago