2958 search results - page 282 / 592 » Extending and Implementing RASP |
117
click to vote
SIGPLAN
1998
15 years 5 days ago
1998
DrScheme provides a graphical user interface for editing and interactively evaluating Scheme programs on all major graphical platforms (Windows 95/nt, MacOs, Unix/X). The environm...
97
Voted
PROMISE
2010
14 years 7 months ago
2010
Background: Defects are related to failures and they do not have much power for indicating a higher quality or a better system above the baseline that the end-users expect. Nevert...
119
Voted
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to ...
113
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
Since Findler and Felleisen [2002] introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen in u...
108
Voted
VEE
2009
ACM
15 years 7 months ago
2009
ACM
r of high-level languages lies in their abstraction over hardware and software complexity, leading to greater security, better reliability, and lower development costs. However, o...