2150 search results - page 180 / 430 » On a restricted cross-intersection problem |
128
click to vote
CSL
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. For nested or heterogeneous datatypes, terminating recursion schemes considered so far have been instances of iteration, excluding efficient definitions of fixed-point ...
137
click to vote
ECOOP
2004
Springer
15 years 9 months ago
2004
Springer
Mechanisms in AOP (aspect-oriented programming) can be characterized by a JPM (join point model). AOP is effective in unanticipated software evolution because crosscutting concer...
141
click to vote
FSTTCS
2004
Springer
15 years 9 months ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
138
click to vote
ICWE
2004
Springer
15 years 9 months ago
2004
Springer
While introducing the HTML standard to present information on the World Wide Web, the importance of being able to express the deep structure and meaning of the information was negl...
145
click to vote
LOPSTR
2004
Springer
15 years 9 months ago
2004
Springer
We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the mos...