5415 search results - page 410 / 1083 » The Implementation of Functional Programming Languages |
171
click to vote
SPLC
2008
15 years 8 months ago
2008
In Context-oriented Programming (COP), programs can be partitioned into behavioral variations expressed as sets of partial program definitions. Such layers can be activated and de...
220
click to vote
ADAEUROPE
2010
Springer
15 years 11 months ago
2010
Springer
Because multicore CPUs have become the standard with all major hardware manufacturers, it becomes increasingly important for ing languages to provide programming abstractions that ...
192
click to vote
HIPS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes Rthreads (Remote threads), a software distributed shared memory system that supports sharing of global variables on clusters of computers with physically dist...
216
click to vote
PLDI
2004
ACM
16 years 7 days ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
167
Voted
CIE
2007
Springer
16 years 1 months ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...