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

Description

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.

Links & Downloads

1. http://tel.archives-ouvertes.fr/tel-00295284
2. http://tel.archives-ouvertes.fr/docs/00/29/52/84/PDF/Borrione.Dominique_1981_these.pdf

Tags

langage

programmation

systèmes logiques

vérification

contrôle

conception

LASSO

fonctions

approche Conlan

Additional Fields

Identifer	oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00295284
Date	01 July 1981
Creators	Borrione, Dominique
Source Sets	CCSD theses-EN-ligne, France
Language	French
Detected Language	French
Type	habilitation ࠤiriger des recherches