707 search results - page 50 / 142 » Some Comments on the Coding of Programs |
94
Voted
TAP
2008
Springer
15 years 20 days ago
2008
Springer
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...
134
Voted
ENTCS
2002
15 years 17 days ago
2002
Dynamic analysis (instrumenting programs with code to detect and prevent errors during program execution) can be an effective approach to debugging, as well as an effective means ...
85
Voted
ICFP
2007
ACM
16 years 21 days ago
2007
ACM
Over the past year Untyped has developed some 40'000 lines of Scheme code for a variety of web-based applications, which receive over 10'000 hits a day. This is, to our ...
110
click to vote
ISLPED
2005
ACM
15 years 6 months ago
2005
ACM
In this paper, we take the idea of application-level processing on disks to one level further, and focus on an architecture, called Cluster of Active Disks (CAD), where the storag...
109
click to vote
PLDI
2011
ACM
14 years 3 months ago
2011
ACM
When dealing with dynamic, untrusted content, such as on the Web, software behavior must be sandboxed, typically through use of a language like JavaScript. However, even for such ...