1760 search results - page 135 / 352 » A System to Mark Programs Automatically |
117
click to vote
PLDI
1993
ACM
15 years 7 months ago
1993
ACM
This paper describes a new language feature that allows dynamically allocated objects to be saved from deallocation by an automatic storage management system so that clean-up or o...
127
click to vote
LPAR
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis...
133
click to vote
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
136
click to vote
DAGSTUHL
1998
15 years 4 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
104
click to vote
CSB
2003
IEEE
15 years 8 months ago
2003
IEEE
The development of high throughput techniques and large-scale studies in the biological sciences has given rise to an explosive growth in both the volume and types of data availab...