28 search results - page 1 / 6 » Preservation and Access: Two Sides of the Same Coin |
61
Voted
ERCIMDL
1998
Springer
15 years 3 months ago
1998
Springer
WWW
2004
ACM
15 years 11 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
14 years 9 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
15 years 4 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
15 years 6 days 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...