Langages de description de systèmes logiques : propositions pour une méthode formelle de définition

Dominique Borrione (1)

1 IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble

Réflexion théorique visant à dégager les principes communs à la très grande majorité des langages de description de systèmes logiques. Presentation de CONLAN. Exposé d'un modèle d'évaluation permettant de spécifier l'interprétation des primitives d'un langage de description de systèmes logiques.

Mots clés: langage; programmation; systèmes logiques; vérification; contrôle; conception; LASSO; fonctions; approche Conlan

Domaines: Modélisation et simulation

Dominique Borrione. Langages de description de systèmes logiques : propositions pour une méthode formelle de définition. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1981. ⟨tel-00295284⟩