2496 search results - page 189 / 500 » Error-detecting properties of languages |
172
click to vote
LATA
2009
Springer
16 years 23 days ago
2009
Springer
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a rest...
134
click to vote
SCAM
2008
IEEE
16 years 11 days ago
2008
IEEE
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...
185
click to vote
CSR
2007
Springer
16 years 4 days ago
2007
Springer
Traditionally, data that has both linear and hierarchical structure, such as annotated linguistic data, is modeled using ordered trees and queried using tree automata. In this pap...
171
click to vote
GPCE
2007
Springer
16 years 4 days ago
2007
Springer
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs in...
113
click to vote
ASPLOS
2006
ACM
15 years 12 months ago
2006
ACM
Visibility is a property of a programming language’s memory model that determines when values stored by one concurrent computation become visible to other computations. Our work...