1342 search results - page 72 / 269 » Ordered Programs as Abductive Systems |
SIGCSE
2009
ACM
14 years 10 months ago
2009
ACM
It is difficult for instructors of CS1 and CS2 courses to get accurate answers to such critical questions as "how long are students spending on programming assignments?"...
ISSRE
2008
IEEE
14 years 4 months ago
2008
IEEE
Aspect-Oriented Programming (AOP) provides new modularization of software systems by encapsulating crosscutting concerns. AspectJ, an AOP language, uses abstractions such as point...
SCAM
2008
IEEE
14 years 4 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
ICSM
2006
IEEE
14 years 3 months ago
2006
IEEE
One of the main promises of aspect-oriented programming (AOP) is to promote improved modularization of crosscutting concerns, thereby enhancing the software stability in the prese...
SAC
2003
ACM
14 years 2 months ago
2003
ACM
We study in this paper the problem of broadcasting dependent data for unordered queries. However, most prior studies on dependent data broadcasting are limited to the premise of n...