4959 search results - page 54 / 992 » Imperative Functional Programming |
148
click to vote
ENTCS
2006
15 years 4 months ago
2006
Chords are a declarative synchronisation construct based on the Join-Calculus, available in the programming language C. To our knowledge, chords have no formal model in an object-...
136
click to vote
ENTCS
2010
14 years 11 months ago
2010
This is a study of a technique for deriving the session type of a program written in a statically typed imperative language from its control flow. We impose on our unlabelled sess...
128
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...
125
click to vote
PEPM
1994
ACM
15 years 8 months ago
1994
ACM
our results using the Fast Fourier Transformation, the N-body attraction problem, and the cubic splines interpolation as examples.We investigate the application of partial evaluati...