11909 search results - page 445 / 2382 » The Scheme Programming Language |
188
click to vote
ESOP
2001
Springer
16 years 5 days ago
2001
Springer
Security-typed languages enforce confidentiality or integrity policies by type checking. This paper investigates continuation-passing style (CPS) translation of such languages as ...
184
click to vote
CHI
2005
ACM
16 years 8 months ago
2005
ACM
The development of programming skills is a motivating issue in computer science. Programming languages have been increasingly used to map end-users needs and mental models. The nu...
187
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
The client computing platform is moving towards a heterogeneous architecture consisting of a combination of cores focused on scalar performance, and a set of throughput-oriented c...
225
click to vote
CLIMA
2004
15 years 9 months ago
2004
An important branch of investigation in the field agents has been the definition of high level languages for representing effects of actions, the programs written in such languages...
154
click to vote
LCTRTS
2005
Springer
16 years 1 months ago
2005
Springer
Applications running on the StrongARM SA-1110 or XScale processor cores can specify cache mapping for each virtual page to achieve better cache utilization. In this work, we descr...