926 search results - page 111 / 186 » Prolog as the First Programming Language |
177
click to vote
ISSTA
2012
ACM
13 years 7 months ago
2012
ACM
Swarm testing is a novel and inexpensive way to improve the diversity of test cases generated during random testing. Increased diversity leads to improved coverage and fault detec...
254
click to vote
POPL
2003
ACM
16 years 5 months ago
2003
ACM
Multimedia and network processing applications make extensive use of subword data. Since registers are capable of holding a full data word, when a subword variable is assigned a r...
164
click to vote
DAGSTUHL
1996
15 years 6 months ago
1996
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...
140
click to vote
ECOOP
2000
Springer
15 years 9 months ago
2000
Springer
The Unified Modeling Language (UML) currently proposes a mechanism to model recurrent design structures: the parameterized collaborations. The main goal of this mechanism is to mo...
147
click to vote
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
The context-free language (CFL) reachability problem is well known and studied in computer science, as a fundamental problem underlying many important static analyses such as point...