5343 search results - page 376 / 1069 » Keyword programming in java |
138
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
120
Voted
ESSOS
2010
Springer
16 years 25 days ago
2010
Springer
Information flow control systems provide the guarantees that are required in today’s security-relevant systems. While the literature has produced a wealth of techniques to ensur...
134
Voted
CC
2010
Springer
15 years 10 months ago
2010
Springer
Instead of writing SQL queries directly, programmers often prefer writing all their code in a general purpose programming language like Java and having their programs be automatica...
129
click to vote
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...
129
Voted
SEFM
2008
IEEE
15 years 10 months ago
2008
IEEE
Attempts to dereference null result in an exception or a segmentation fault. Hence it is important to know those program points where this might occur and prove the others (or the...