1671 search results - page 13 / 335 » Language Constructs for Multi-agent Programming |
110
click to vote
PLPV
2009
ACM
15 years 8 months ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
106
click to vote
PPOPP
2012
ACM
13 years 7 months ago
2012
ACM
Graphics processing units (GPUs) are powerful devices capable of rapid parallel computation. GPU programming, however, can be quite difficult, limiting its use to experienced prog...
GPCE
2005
Springer
15 years 5 months ago
2005
Springer
163
click to vote
PADL
2011
Springer
14 years 2 months ago
2011
Springer
Modern challenges led to a design of a wide range of programming models for reactive, parallel and concurrent programming, but these are often t to encode in general purpose langua...