4426 search results - page 91 / 886 » Concurrent Constraint Programming |
127
click to vote
ECOOP
1998
Springer
15 years 8 months ago
1998
Springer
Customizable meta-objects are a powerful abstraction for extending language features and implementation mechanisms, but interpretive execution suffers from severe performance penal...
142
click to vote
CC
2008
Springer
15 years 6 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...
101
click to vote
CP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Constraint programming offers powerful problem solving capabilities, but experienced and skilled developers are needed to maximise the benefits it offers. We introduce...
131
click to vote
TLDI
2009
ACM
16 years 29 days 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 ...
163
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
The advent of multicore processors requires mainstream concurrent programming languages with high level concurrency constructs and effective debugging techniques. Unfortunately, m...