882 search results - page 75 / 177 » A Taste of Rewrite Systems |
CORR
2004
Springer
13 years 8 months ago
2004
Springer
ACL2 was used to prove properties of two simplification procedures. The procedures differ in complexity but solve the same programming problem that arises in the context of a reso...
ECEASST
2010
13 years 6 months ago
2010
This short paper explores the potential of embedding-based graph rewriting as a tool for understanding natural computing, and in particular self-assembly. The basic point of view i...
JLP
2010
13 years 3 months ago
2010
K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, comput...
EDBT
2012
ACM
11 years 11 months ago
2012
ACM
In this paper we consider the problem of answering queries using views, with or without ontological constraints, which is important for data integration, query optimization, and d...
HCI
2007
13 years 10 months ago
2007
“Universal Access” is often focused on modifying main-stream products to respond to the demands of older and disabled people – which implies an extremely wide range of user c...