28 search results - page 1 / 6 » Preservation and Access: Two Sides of the Same Coin |
ERCIMDL
1998
Springer
13 years 9 months ago
1998
Springer
WWW
2004
ACM
14 years 5 months ago
2004
ACM
A Web Application must have a precise semantics. In currently Web Engineering environments, this can be achieved either by specifying a Web Conceptual Schema, or by using a Semant...
ENTCS
2008
13 years 3 months ago
2008
In the recent past, the reduction-based and the model-based methods to prove cut elimination have converged, so that they now appear just as two sides of the same coin. This paper...
APLAS
2003
ACM
13 years 10 months ago
2003
ACM
We present a method for automatic program inversion in a first-order functional programming language. We formalize the transformation and illustrate it with several examples inclu...
JURIX
2008
13 years 6 months ago
2008
The two main types of law are legislation and precedents. Both types have a corresponding reasoning pattern determining legal consequences: legislation can be applied and precedent...