2736 search results - page 120 / 548 » Understanding programmer language |
219
Voted
ECOOP
2009
Springer
16 years 3 months ago
2009
Springer
The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annota...
115
click to vote
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
123
Voted
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Exception handling mechanisms have been around for more than 30 years. Nevertheless, modern exceptions systems are not very different from the early models. Programming languages ...
102
Voted
SAC
2006
ACM
15 years 8 months ago
2006
ACM
Using small, context-specific interfaces in variable declarations serves the decoupling of classes and increases a program’s flexibility. To minimize its interface, a thorough a...
130
Voted
SIGCSE
2006
ACM
15 years 8 months ago
2006
ACM
The proliferation of graphical user interfaces has had a dramatic impact on the ability to work as a programmer. It is particularly difficult for the blind to create forms for vis...