نشرت في: January 2011
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as e...
We present MorphJ: a language for specifying general classes whose members are produced by iterating over members of other classes. We call this tech...
There are many powerful techniques for automated termination analysis of term rewriting. However, up to now they have hardly been used for real progr...
نشرت في: 2003
«?tienne Vollard arrive dans un nouveau lycée à l’âge de quatorze ans, pour des raisons que seule la rumeur informera. Ce jeune homme grand, lourd, f...
L’époque actuelle est celle où l’adolescence s’allonge – de 8-15 ans à 15-40 ans, selon les chercheurs1. Cet étirement dans le temps est pour partie...
