Sciweavers

2343 search results - page 231 / 469
» Structure and Interpretation of Computer Programs
Sort
View
ICS
2000
Tsinghua U.
15 years 10 months ago
Using complete system simulation to characterize SPECjvm98 benchmarks
Complete system simulation to understand the influence of architecture and operating systems on application execution has been identified to be crucial for systems design. While t...
Tao Li, Lizy Kurian John, Narayanan Vijaykrishnan,...
PLDI
2009
ACM
16 years 1 months ago
Catch me if you can: permissive yet secure error handling
Program errors are a source of information leaks. Tracking these leaks is hard because error propagation breaks out of program structure. Programming languages often feature excep...
Aslan Askarov, Andrei Sabelfeld
220
Voted
DOCENG
2008
ACM
15 years 8 months ago
A concise XML binding framework facilitates practical object-oriented document engineering
Semantic web researchers tend to assume that XML Schema and OWL-S are the correct means for representing the types, structure, and semantics of XML data used for documents and int...
Andruid Kerne, Zachary O. Toups, Blake Dworaczyk, ...
EUROPAR
2010
Springer
15 years 7 months ago
Generators-of-Generators Library with Optimization Capabilities in Fortress
Abstract. To resolve difficulties in parallel programming, a large number of studies are conducted on parallel skeletons and optimization theorems over skeleton programs. However, ...
Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kimino...
POPL
2010
ACM
16 years 3 months ago
Monads in Action
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
Andrzej Filinski