4767 search results - page 330 / 954 » Structures for Abstract Rewriting |
169
click to vote
ECOOP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
214
click to vote
IWPC
2003
IEEE
15 years 12 months ago
2003
IEEE
Program comprehension is an important part of software maintenance, especially when program structure is complex and documentation is unavailable or outdated. Data mining can prod...
184
click to vote
BIRTHDAY
2003
Springer
15 years 12 months ago
2003
Springer
Chomsky’s theory of syntax came after criticism of probabilistic associative models of word order in sentences. Immediate constituent structures are plausible but their descripti...
160
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Families of differential operators, like those defining affine, generally nonlinear, control systems are known to have natural Hopf algebra structures. These provide ...
183
click to vote
ESOP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In the eld of reactive system programming, data ow synchronous languages like Lustre BCH+85,CHPP87 or Signal GBBG85 o er a syntax similar to block-diagrams, and can be e ...