10666 search results - page 428 / 2134 » Quantum programming languages |
187
click to vote
ICFP
2010
ACM
15 years 8 months ago
2010
ACM
Existing macro systems force programmers to make a choice between clarity of specification and robustness. If they choose clarity, they must forgo validating significant parts of ...
158
click to vote
OOPSLA
2005
Springer
16 years 9 days ago
2005
Springer
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
176
click to vote
APLAS
2004
ACM
16 years 8 days ago
2004
ACM
Abstract. Region-based memory management scheme has been proposed for the programming language ML. In this scheme, a compiler statically estimates the lifetime of each object by pe...
190
click to vote
VL
2003
IEEE
16 years 3 days ago
2003
IEEE
A significant challenge in teaching programming to disadvantaged populations is preserving learners’ motivation and confidence. Because programming requires such a diverse set o...
213
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
We present a resource oriented program logic that is able to reason about concurrent heap-manipulating programs with unbounded numbers of dynamically-allocated locks and threads. T...