23201 search results - page 122 / 4641 » Rewriting Systems with Data |
173
click to vote
IS
2012
14 years 1 months ago
2012
When transforming data one often wants certain information in the data source to be preserved, i.e., we identify parts of the source data and require these parts to be transformed...
186
click to vote
POPL
1997
ACM
15 years 9 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
176
click to vote
ENTCS
2007
15 years 5 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
151
click to vote
RTA
2010
Springer
15 years 9 months ago
2010
Springer
Matrix interpretations can be used to bound the derivational complexity of rewrite systems. We present a criterion that completely characterizes matrix interpretations that are pol...
185
click to vote
PVLDB
2008
15 years 5 months ago
2008
Supporting graceful schema evolution represents an unsolved problem for traditional information systems that is further exacerbated in web information systems, such as Wikipedia a...