1 |
Size-based termination: Semantics and generalizations ; Terminaison à base de tailles: Sémantique et généralisations
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01746182 ; Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2011. English. ⟨NNT : 2011NAN10034⟩ (2011)
|
|
BASE
|
|
Show details
|
|
2 |
Design of a programming language dedicated to program analysis and transformation ; Conception d'un langage dédié à l'analyse et la transformation de programmes
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01748507 ; Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy 1, 2009. Français. ⟨NNT : 2009NAN10026⟩ (2009)
|
|
BASE
|
|
Show details
|
|
3 |
Anti-matching constraints and programming with rewrite rules ; Contraintes d'anti-filtrage et programmation par réécriture
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01748690 ; Génie logiciel [cs.SE]. Institut National Polytechnique de Lorraine - INPL, 2008. Français. ⟨NNT : 2008INPL045N⟩ (2008)
|
|
BASE
|
|
Show details
|
|
4 |
Abstract
|
|
|
|
In: http://www.embeddedcore.com/misc/xemantics.pdf (2004)
|
|
BASE
|
|
Show details
|
|
5 |
Raisonnement certifié sur les nombres réels et les objets en théorie des types co-inductifs ; Certified reasoning on real numbers and objects in co-inductive type theory
|
|
|
|
In: https://hal.univ-lorraine.fr/tel-01750193 ; Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2003. Français. ⟨NNT : 2003INPL026N⟩ (2003)
|
|
BASE
|
|
Show details
|
|
6 |
Abstract
|
|
|
|
In: http://www.loria.fr/~ckirchne/=elan/xemantics.pdf (2002)
|
|
BASE
|
|
Show details
|
|
7 |
Xemantics: a Rewriting Calculus-Based Semantics of XSLT
|
|
|
|
In: http://www.loria.fr/~stuber/publications/KirchnerQianSinghStuber2001LORIA.ps.gz (2002)
|
|
BASE
|
|
Show details
|
|
8 |
Calcul de réécriture : fondements et applications
|
|
|
|
In: https://hal.univ-lorraine.fr/tel-01746463 ; Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2000. Français. ⟨NNT : 2000NAN10087⟩ (2000)
|
|
BASE
|
|
Show details
|
|
9 |
ELAN User Manual
|
|
|
|
In: http://www.loria.fr/~moreau/Papiers/manual.2.0.ps.gz (1997)
|
|
BASE
|
|
Show details
|
|
10 |
ELAN: a logical framework for prototyping logic programming languages with constraints ; ELAN : un cadre logique pour le prototypage de langages de programmation avec contraintes
|
|
|
|
In: https://hal.univ-lorraine.fr/tel-01754181 ; Autre. Université Henri Poincaré - Nancy 1, 1994. Français. ⟨NNT : 1994NAN10372⟩ (1994)
|
|
BASE
|
|
Show details
|
|
|
|