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 | 12819 reads
|
Browse archives
Active forum topics |
Recent comments
2 weeks 5 days ago
43 weeks 4 hours ago
43 weeks 7 hours ago
43 weeks 7 hours ago
1 year 13 weeks ago
1 year 17 weeks ago
1 year 18 weeks ago
1 year 18 weeks ago
1 year 21 weeks ago
1 year 26 weeks ago