707 search results - page 75 / 142 » Some Comments on the Coding of Programs |
HASKELL
2005
ACM
15 years 6 months ago
2005
ACM
Some Lisp programs such as Emacs, but also the Linux kernel (when fully modularised) are mostly dynamic; i.e., apart from a small static core, the significant functionality is dy...
115
Voted
JAVA
2001
Springer
15 years 5 months ago
2001
Springer
Java has integrated multithreading to a far greater extent than most programming languages. It is also one of the only languages that specifies and requires safety guarantees for...
125
Voted
ISSTA
2012
ACM
13 years 3 months ago
2012
ACM
Recent research has suggested that a large class of software bugs fall into the category of inconsistencies, or cases where two pieces of program code make incompatible assumption...
113
click to vote
CORR
2008
Springer
15 years 22 days ago
2008
Springer
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, ...
102
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...