1679 search results - page 14 / 336 » Pointcuts as Functional Queries |
PEPM
2007
ACM
15 years 5 months ago
2007
ACM
EDBTW
2010
Springer
15 years 4 months ago
2010
Springer
WISE
2002
Springer
15 years 4 months ago
2002
Springer
ICFP
2000
ACM
15 years 4 months ago
2000
ACM
VLDB
1998
ACM
15 years 3 months ago
1998
ACM
The goal of the COKO-KOLA project [10, 91 is to express rules of rule-basedoptimizers in a mannerpermitting verification with a theoremprover. In [IO], we consideredquerytransform...