ECOOPW
2007
Springer
14 years 3 months ago
2007
Springer
ECOOPW
2007
Springer
14 years 3 months ago
2007
Springer
ECOOPW
2007
Springer
14 years 3 months ago
2007
Springer
ECOOPW
2007
Springer
14 years 3 months ago
2007
Springer
BIRTHDAY
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. With the recent trend of analysing the process of computation through the linear logic looking glass, it is well understood that the ability to copy and erase data is ess...
BIRTHDAY
2007
Springer
14 years 3 months ago
2007
Springer
Superdeduction is a systematic way to extend a deduction system like the sequent calculus by new deduction rules computed from the user theory. We show how this could be done in a ...
BIRTHDAY
2007
Springer
14 years 3 months ago
2007
Springer
elle Gnaedig, H´el`ene Kirchner: Narrowing abstraction and constraints for proving properties of reduction relations 12:30- 14:00 Lunch break 14:00- 15: 50. Session 3 • Paul Bra...
BIRTHDAY
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In this paper we review some well-known theory about reduction strategies of various kinds: normalizing, outermost-fair, cofinal, Church-Rosser. A stumbling block in the...
BIRTHDAY
2007
Springer
14 years 3 months ago
2007
Springer
In contrast to the current general way of developing tools for proving termination automatically, this paper intends to show an alternative program based on using on the one hand t...
BIRTHDAY
2007
Springer
14 years 3 months ago
2007
Springer
Showing termination of the Battle of Hercules and Hydra is a challenge. We present the battle both as a rewrite system and as an arithmetic while program, provide proofs of their t...