Sémantique algébrique de l'appel par valeur

Arnold, André

doi:10.1051/ita/1978120200691

Cited by 3 publications

(2 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Le non déterminisme des programmes, que nous étudions ici, est borné, et la stratégie de passage de paramètres utilisée pour les procédures, est l'appel par nom, sans restriction aucune. Dans Hennessy [14], et dans Arnold [2,3], on trouve d'autres stratégies qui amènent à des résultats différents (appel par valeur [2,14], appel synchrone [3] ou « Call-Time choice » [14]); les auteurs appliquent alors un formalisme différent selon la stratégie utilisée (magmoïde additif [3,4] pour l'appel synchrone, contraintes [14] pour le « Call-Time choice »).…”

Section: Informatique Théorique Et Applications/theoretical Informatiunclassified

Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes

Naudin¹

1987

RAIRO-Theor. Inf. Appl.

View full text Add to dashboard Cite

Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes Informatique théorique et applications, tome 21, n o 1 (1987), p. 59-91. © AFCET, 1987, tous droits réservés. L'accès aux archives de la revue « Informatique théorique et applications » implique l'accord avec les conditions générales d'utilisation (http://www.numdam. org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d'une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Informatique théorique et Applications/Theoretical Informaties and Applications (vol. 21, n° 1, 1987, p. 59 à 91) COMPARAISON ET ÉQUIVALENCE DE SÉMANTIQUES POUR LES SCHÉMAS DE PROGRAMMES NON DÉTERMINISTES (•) par Patrice NAUDIN (*) Communiqué par A. ARNOLD Résumé.-NOMS proposons trois définitions différentes de la sémantique d'un schéma de programme récursifnon déterministe dans Vinterprétation de Herbrand :-la sémantique opérationnelle, basée sur la notion de calcul terminé introduite par Boudol [7, 9],-la sémantique dénotationnelle, construite classiquement par une méthode de plus grand point fixe (Arnold, Nivat [3, 4];-la sémantique « algébrique » obtenue en ignorant le non déterminisme du schéma et en faisant une semi-interprétation du résultat ainsi obtenu. Nous étudions les trois ensembles d'arbres ainsi obtenus, montrons qu'ils sont naturellement ordonnés par inclusion, dans le cas général et égaux, dans le cas des schémas de Greibach. En remarquant qu'un ensemble de fonctions univoques peut s'interpréter canoniquement comme une fonction multivoque, nous définissons une équivalence sur les ensembles d'arbres et montrons que, modulo cette équivalence, nos trois sémantiques sont égales.

show abstract

Section: Informatique Théorique Et Applications/theoretical Informatiunclassified

Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes

Naudin¹

1987

RAIRO-Theor. Inf. Appl.

View full text Add to dashboard Cite

show abstract

“…Dans un article récent [1], André Arnold propose une sémantique algé-brique de l'appel par valeur fondée sur l'emploi de tests généralisés et de fonctions seuils. Ces fonctions jouent le rôle d'un crible qui, avant d'autoriser la poursuite des calculs, teste si les paramètres appelés par valeur ont une valeur suffisament définie : par exemple, différente de _L dans le cas de l'appel par valeur usuel, ou bien supérieure au « seuil d'information » d nécessaire à la poursuite des calculs dans le cas de l'appel par valeur généralisé aux domaines non discrets.…”

unclassified