539 search results - page 4 / 108 » Analysis of Types of Self-Improving Software |
VMCAI
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...
APLAS
2004
ACM
13 years 11 months ago
2004
ACM
In safety-critical and high-reliability systems, software development and maintenance are costly endeavors. The cost can be reduced if software errors can be identified through au...
ISESE
2005
IEEE
13 years 11 months ago
2005
IEEE
This paper describes ethnographic observations and analysis of the performance of student teams working on year-long software projects for industrial clients. Personality types we...
PLDI
2005
ACM
13 years 11 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
KBSE
2005
IEEE
13 years 11 months ago
2005
IEEE
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. Two common kinds of concurrency errors are data races and atomicity violation...