942 search results - page 67 / 189 » From System Comprehension to Program Comprehension |
ESOP
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. We present a framework that automatically produces suggestions to resolve type errors in security-typed programs, enabling legacy code to be retrofit with comprehensive s...
OOPSLA
2009
Springer
14 years 3 months ago
2009
Springer
In this paper we describe Ginger, a new language with first class support for literate programming. Literate programming refers to a philosophy that argues computer programs shou...
MIDDLEWARE
2007
Springer
14 years 2 months ago
2007
Springer
Developing applications for sensor networks is a challenging task. Most programming systems narrowly focus on programming issues while ignoring that programming represents only a ...
DSN
2004
IEEE
14 years 14 days ago
2004
IEEE
It is often the case that safety-critical systems have to be reconfigured during operation because of issues such as changes in the system's operating environment or the fail...
ITICSE
2004
ACM
14 years 2 months ago
2004
ACM
Keeping students alert and responsive during lectures is a challenge even for experienced teachers in small group settings. Research has shown the importance of student participat...