Resume
Un filtre PLASMA peut être considéré comme une représentation de l'ensemble des messages qu'il accepte. La relation d'inclusion sur l'ensemble des messages induit une relation d'inclusion sur l'ensemble des filtres. Nous présentons un algorithme calculant cette inclusion.
Preview
Unable to display preview. Download preview PDF.
Bibliographie
La métaévaluation au service de la compréhension automatique de programmes. Thèse 3° Cycle. Université PARIS VI. Rapport LITP No 80–52 (1980)
An universal modular actor formalism for artificial intelligence. IJCAI 1973. STANDFORD pp. 235–245.
Acteurs et continuations. Actes Congrès AFCET (1978). Ed. Hommes et Techniques p. 338–347.
Sémantique des liaisons Nom-valeur: application à l'implémentation des lambdalangages. Thèse d'Etat. Université Paul Sabatier. Toulouse 1980.
Un système de compréhension, d'amélioration et correction de programmes incorrects. Thèse de 3° Cycle. Université P. et M. CURIE.
Symbolic evaluation using conceptual representations for programs with side-effects. MIT, A.I. Lab.
Specification and verification techniques for parallel programs based on message passing semantics. PH. D. MIT Lab. for Comp.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Finet, J., Salle, P. (1984). L'Inclusion de filtres : Une approche de la creation d'environnements symboliques en Plasma. In: Paul, M., Robinet, B. (eds) International Symposium on Programming. Programming 1984. Lecture Notes in Computer Science, vol 167. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-12925-1_31
Download citation
DOI: https://doi.org/10.1007/3-540-12925-1_31
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12925-7
Online ISBN: 978-3-540-38809-8
eBook Packages: Springer Book Archive