1100 search results - page 104 / 220 » An Approach to Test Aspect-oriented Programs |
146
Voted
GECCO
2009
Springer
15 years 10 months ago
2009
Springer
We describe a methodology for evolving Java bytecode, enabling the evolution of extant, unrestricted Java programs, or programs in other languages that compile to Java bytecode. B...
167
click to vote
AI
2004
Springer
15 years 3 months ago
2004
Springer
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
128
Voted
ASPLOS
2011
ACM
14 years 7 months ago
2011
ACM
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...
146
Voted
POPL
2010
ACM
16 years 21 days ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...
159
click to vote
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
We consider programming language aspects of algorithms that operate on data too large to fit into memory. In previous work we have introduced IntML, a functional programming langu...