Advertisement

L'Inclusion de filtres : Une approche de la creation d'environnements symboliques en Plasma

  • J. Finet
  • P. Salle
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 167)

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.

Keywords

Representation Symbolique Nous Proposons Nous Montrons Nous Permet Passing Semantic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliographie

  1. (GOOSSENS 80).
    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)Google Scholar
  2. (HEWITT 73).
    An universal modular actor formalism for artificial intelligence. IJCAI 1973. STANDFORD pp. 235–245.Google Scholar
  3. (MARCOUX POMIAN 78).
    Acteurs et continuations. Actes Congrès AFCET (1978). Ed. Hommes et Techniques p. 338–347.Google Scholar
  4. (DURIEUX 80).
    Sémantique des liaisons Nom-valeur: application à l'implémentation des lambdalangages. Thèse d'Etat. Université Paul Sabatier. Toulouse 1980.Google Scholar
  5. (WERTZ 78).
    Un système de compréhension, d'amélioration et correction de programmes incorrects. Thèse de 3° Cycle. Université P. et M. CURIE.Google Scholar
  6. (YONEZAWA HEWITT 76).
    Symbolic evaluation using conceptual representations for programs with side-effects. MIT, A.I. Lab.Google Scholar
  7. (YONEZAWA 77).
    Specification and verification techniques for parallel programs based on message passing semantics. PH. D. MIT Lab. for Comp.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • J. Finet
    • 1
  • P. Salle
    • 1
  1. 1.Laboratoire Langages et Systèmes Informatiques U.P.S.France

Personalised recommendations