2482 search results - page 286 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
122
Voted
ASPLOS
2008
ACM
15 years 4 months ago
2008
ACM
We explore the extent to which newly available CPU-based security technology can reduce the Trusted Computing Base (TCB) for security-sensitive applications. We find that although...
140
Voted
ECLIPSE
2005
ACM
15 years 4 months ago
2005
ACM
Students need to learn testing skills, and using test-driven development on assignments is one way to help students learn. We use a flexible automated grading system called Web-CA...
126
Voted
TON
2012
13 years 5 months ago
2012
—Cognitive Radio (CR) technology has great potential to alleviate spectrum scarcity in wireless communications. It allows secondary users (SUs) to opportunistically access spectr...
232
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
In this paper, we show how pattern matching can be seen to arise from a proof term assignment for the focused sequent calculus. This use of the Curry-Howard correspondence allows ...
CADE
2006
Springer
16 years 2 months ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...