244 search results - page 5 / 49 » Contracts for first-class classes |
HOTOS
2007
IEEE
14 years 28 days ago
2007
IEEE
Today's processors provide a rich source of statistical information on program execution characteristics through hardware counters. However, traditionally, operating system (...
ESAW
2006
Springer
14 years 22 days ago
2006
Springer
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...
ESOP
2000
Springer
14 years 20 days ago
2000
Springer
Abstract. We present the first formalization of implementation straor first-class continuations. The formalization hinges on abstract machines for continuation-passing style (CPS) ...
PADL
2000
Springer
14 years 19 days ago
2000
Springer
POPL
2000
ACM
14 years 19 days ago
2000
ACM
