2000 search results - page 153 / 400 » Program Transformation and Proof Transformation |
127
Voted
JISE
2006
15 years 3 months ago
2006
In this paper, we use the tensor product notation as the framework of a programming methodology for designing block recursive algorithms. We first express a computational problem ...
117
click to vote
ENTCS
2002
15 years 3 months ago
2002
The difficulty of finding errors caused by unexpected interleavings of threads in concurrent programs is well known. Model checkers can pinpoint such errors and verify correctness...
137
Voted
CP
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we show how Constraint Programming (CP) techniques can improve the efficiency and applicability of grid-based algorithms for optimising surface contact between comple...
123
Voted
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
Monads are widely used in Haskell for modeling computational effects, but defining monads remains a daunting challenge. Since every part of a monad's definition depends on it...
136
click to vote
JELIA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The growing size of electronically available text corpora like companies’ intranets or the WWW has made information access a hot topic within computational linguistics....