Détail d'une fiche   Version PDF

OSCAR (SR0268VR)

Outils syntaxiques pour la construction et l'analyse de programmes

CHARME (SR0214VR) →  OSCAR


Statut: Terminée

Responsable : Didier Parigot

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2024" : Aucun mot-clé.

Mots-clés de "B - Autres sciences et domaines d'application - 2024" : Aucun mot-clé.

Domaine : Mathématiques appliquées, calcul et simulation
Thème : Modélisation, simulation et analyse numérique

Période : 01/01/1996 -> 31/12/1998
Dates d'évaluation :

Etablissement(s) de rattachement : <sans>
Laboratoire(s) partenaire(s) : <sans UMR>

CRI : Centre Inria de Paris
Localisation : Rocquencourt
Code structure Inria :

Numéro RNSR : 198622078N
N° de structure Inria: SR0268VR

Présentation


Axes de recherche


Relations industrielles et internationales