8109 search results - page 159 / 1622 » A Model of Component-Based Programming |
167
click to vote
ESOP
2001
Springer
15 years 9 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...
127
click to vote
APLAS
2004
ACM
15 years 10 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...
146
Voted
CORR
2006
Springer
15 years 5 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...
137
click to vote
ECOOPW
1999
Springer
15 years 9 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.
155
Voted
FORMATS
2009
Springer
15 years 11 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...