1828 search results - page 5 / 366 » First-Class Type Classes |
ICSE
1993
IEEE-ACM
13 years 10 months ago
1993
IEEE-ACM
Software designers compose systems from components written in some prolanguage. They regularly describe systems using abstract patterns and sophisticated relations among component...
PLDI
1990
ACM
13 years 9 months ago
1990
ACM
Languages such as Scheme and Smalltalk that provide continuations as first-class data objects present a challenge to efficient implementation. Allocating activation records in a h...
HOTOS
2007
IEEE
13 years 9 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
13 years 9 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
13 years 9 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) ...