Natural semantics on the computer

Authors :: Clement, Dominique
Despeyroux, Joelle
Despeyroux, Thierry
Hascoet, Laurent
Kahn, Gilles
Société d'Economie et de Mathématiques Appliquées (SEMA)
SEMA Group
Design and Implementation of Programming Tools (CROAP)
Inria Sophia Antipolis - Méditerranée (CRISAM)
Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
INRIA
Source :: [Research Report] RR-0416, INRIA. 1985
Publication Year :: 1985
Publisher :: HAL CCSD, 1985.
Abstract: Disponible dans les fichiers attachés à ce document

Tools