2302 search results - page 83 / 461 » The Evolution of Concurrent Programs |
161
click to vote
CC
2008
Springer
15 years 8 months ago
2008
Springer
This paper introduces a new language model, Coqa, for deeply embedding concurrent programming into objects. Every program written in our language has the desirable behaviors of ato...
176
click to vote
DKE
2006
15 years 6 months ago
2006
In the past few years, the fast proliferation of available XML documents has stimulated a great deal of interest in discovering hidden and nontrivial knowledge from XML repositori...
156
click to vote
TLDI
2009
ACM
16 years 2 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
174
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
When Genetic Programming is used to evolve arithmetic functions it often operates by composing them from a fixed collection of elementary operators and applying them to parameters...
186
click to vote
IPPS
2008
IEEE
16 years 13 days ago
2008
IEEE
The advent of multicore processors requires mainstream concurrent programming languages with high level concurrency constructs and effective debugging techniques. Unfortunately, m...