9626 search results - page 181 / 1926 » Invariant Based Programming |
216
Voted
AMAI
1999
Springer
15 years 6 months ago
1999
Springer
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
138
click to vote
OOPSLA
2001
Springer
15 years 10 months ago
2001
Springer
Mixin modules are proposed as an extension of a class-based programming language. Mixin modules combine parallel extension of classes, including extension of the self types for th...
188
click to vote
SIGMETRICS
2011
ACM
14 years 9 months ago
2011
ACM
The workloads in modern Chip-multiprocessors (CMP) are becoming increasingly diversified, creating different resource demands on hardware substrate. It is necessary to allocate h...
144
click to vote
ITS
1992
Springer
15 years 10 months ago
1992
Springer
: The ProgramCritic is a system designed to analyze and critique students' computer programs. After analyzing a program, the ProgramCritic provides the student with a list of ...
179
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
Aspect-Oriented Programming (AOP) is a powerful technique to better modularize object-oriented programs by introducing crosscutting concerns in a safe and noninvasive way. Unfortu...