244 search results - page 5 / 49 » Contracts for first-class classes |
HOTOS
2007
IEEE
15 years 1 months 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
15 years 1 months 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
15 years 1 months 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
15 years 1 months ago
2000
Springer
POPL
2000
ACM
15 years 1 months ago
2000
ACM
