7961 search results - page 132 / 1593 » Input-Output Model Programs |
137
click to vote
ESOP
2001
Springer
15 years 7 months ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
108
click to vote
APLAS
2004
ACM
15 years 8 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...
130
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Previous studies on program comprehension were carried out largely in the context of procedural languages. Our purpose is to develop and evaluate a cognitive model of object-orient...
118
Voted
ECOOPW
1999
Springer
15 years 7 months ago
1999
Springer
We present a snapshot of work in progress to define a formal model of the composition technology which underpins Subject-oriented and Aspectoriented programming.
135
click to vote
FORMATS
2009
Springer
15 years 9 months ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...