3736 search results - page 414 / 748 » Generative Programming |
154
Voted
KBSE
2010
IEEE
15 years 3 months ago
2010
IEEE
Although testing is central to debugging and software certification, there is no adequate language to specify test suites over source code. Such a language should be simple and c...
155
click to vote
PLDI
2006
ACM
15 years 11 months ago
2006
ACM
This paper describes a global progressive register allocator, a register allocator that uses an expressive model of the register allocation problem to quickly find a good allocat...
110
click to vote
SCAM
2007
IEEE
15 years 11 months ago
2007
IEEE
Program dependence graphs are a well-established device to represent possible information flow in a program. Path conditions in dependence graphs have been proposed to express mo...
126
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Learning general truths from the observation of simple domains and, further, learning how to use this knowledge are essential capabilities for any intelligent agent to understand ...
154
click to vote
ICALP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We consider the sequence comparison problem, also known as “hidden pattern” problem, where one searches for a given subsequence in a text (rather than a string unders...