3713 search results - page 524 / 743 » Constructing a Calculus of Programs |
132
click to vote
PPSC
1993
15 years 4 months ago
1993
Scalable parallel computers with TFLOPS (Trillion FLoating Point Operations Per Second) performance levels are now under construction. While we believe TFLOPS processor technology...
125
Voted
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
We present a novel approach to regular, multi-dimensional arrays in Haskell. The main highlights of our approach are that it (1) is purely functional, (2) supports reuse through s...
131
click to vote
IJAIT
2006
15 years 3 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
118
click to vote
DKE
2007
15 years 3 months ago
2007
In aspect-oriented programming (AOP) a cross-cutting concern is implemented in an aspect. An aspect weaver blends code from the aspect into a program’s code at programmer-specifi...
108
click to vote
ML
2008
ACM
15 years 3 months ago
2008
ACM
Call-by-value languages commonly restrict recursive definitions by only allowing functions and syntactically explicit values in the right-hand sides. As a consequence, some very a...