1051 search results - page 30 / 211 » Toward Team-Oriented Programming |
PADL
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
WCET
2008
13 years 9 months ago
2008
In this paper, we propose the use of constraint logic programming as a way of modeling contextsensitive execution-times of program segments. The context-sensitive constraints are ...
JSS
2000
13 years 7 months ago
2000
One of the most important steps towards eective software maintenance of a large complicated system is to understand how program features are spread over the entire system and thei...
IWPC
2000
IEEE
14 years 3 days ago
2000
IEEE
The main goal with this paper is to motivate and coin a variation of literate programming which we call elucidative programming. Elucidative programming is oriented towards progra...
APLAS
2004
ACM
14 years 1 months ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...