10871 search results - page 444 / 2175 » A stable programming language |
158
click to vote
OOPSLA
2005
Springer
16 years 10 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...
191
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 11 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...
133
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
Modern programming languages have little or no support for querying objects and collections. Programmers are forced to hand code such queries using nested loops, which is both cumb...