531 search results - page 9 / 107 » Integrative Levels of Program Comprehension |
CORR
2010
Springer
13 years 6 months ago
2010
Springer
We study active integrity constraints and revision programming, two formalisms designed to describe integrity constraints on databases and to specify policies on preferred ways to...
LPNMR
2004
Springer
14 years 21 days ago
2004
Springer
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check...
CCGRID
2008
IEEE
14 years 1 months ago
2008
IEEE
Collective operations and non-blocking point-to-point operations are two important parts of MPI that each provide important performance and programmability benefits. Although non...
IWPC
2006
IEEE
14 years 1 months ago
2006
IEEE
Gaining an overview of the concepts represented in large programs is very demanding as multiple dimensions of knowledge appear at different abstraction levels throughout the sourc...
SAC
2004
ACM
14 years 23 days ago
2004
ACM
Software applications often contain implicit knowledge in addition to functionality which is inherently object-oriented. Many approaches and systems exist that focus on separating...