23201 search results - page 53 / 4641 » Rewriting Systems with Data |
98
Voted
PODS
2005
ACM
16 years 28 days ago
2005
ACM
We consider here the exchange of Active XML (AXML) data, i.e., XML documents where some of the data is given explicitly while other parts are given only intensionally as calls to ...
105
Voted
FSTTCS
2003
Springer
15 years 6 months ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
118
Voted
CSMR
2004
IEEE
15 years 4 months ago
2004
IEEE
Automatic analysis of programs with preprocessing directives and conditional compilation is challenging. The difficulties range from parsing to program understanding. Symbolic eva...
130
click to vote
JSAI
2007
Springer
15 years 7 months ago
2007
Springer
We model semantic interpretation operationally: constituents interact as their combination in discourse evolves from state to state. The states are recursive data structures and ev...
68
Voted
ICEIS
2009
IEEE
15 years 7 months ago
2009
IEEE