Forschungsgruppen zur Zeit : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ehemalige Forschungsgruppe : | ACASA |
- Ph. Ayrault, M. Guesdon, Th. Hardin : “Méthodologie de développement d'un outil d'évaluation de la sureté du logiciel, en langage OCaml”, Journées Francophones des Langages Applicatifs, INRIA, Mont Saint-Michel, France, pp. 159-171 [Ayrault 2000]
- S. Boulmé : “Opérateurs de raffinement sur les structures algébriques”, Journées Francophones des Langages Applicatifs, Mont Saint-Michel, France, (INRIA) [Boulmé 2000a]
- C. Cazes, Ch. Queinnec, Ch. Steinberg : “Enseignement du langage C à l'aide d'un CD-ROM et d'un site - Mise en oeuvre et observation”, Colloque international -- Technologie de l'Information et de la Communication dans les Enseignements d'ingénieurs et dans l'industrie -- TICE 2000, Troyes, France, pp. 63-63 [Cazes 2000]
- G. Hamon, M. Pouzet : “Modular Resetting of Synchronous Data-flow Programs”, ACM International conference on Principles of Declarative Programming (PPDP'00), Montreal, Canada, (ACM) [Hamon 2000]
- M. Jaume : “Logic programming and Co-inductive definitions”, International Workshop, Computer Science Logic, CSL'2000, vol. 1862, Lecture Notes in Computer Science, Fischbachau, Germany, pp. 343-355, (Springer) [Jaume 2000]
- Ch. Queinnec : “Continuations and Conversations”, AIMSA 2000 - 9th International Conference on Artificial Intelligence: Methodology, Systems, Applications, vol. 1904, Lecture Notes in Computer Science, Varna, Bulgaria, pp. 363-363, (Springer) [Queinnec 2000a]
- Ch. Queinnec : “Enseignement du langage C à l'aide d'un CD-ROM et d'un site - Architecture logicielle”, Colloque international -- Technologie de l'Information et de la Communication dans les Enseignements d'ingénieurs et dans l'industrie -- TICE 2000, Troyes, France, pp. 93-102, (CNED) [Queinnec 2000c]
- Ch. Queinnec : “The Influence of Browsers on Evaluators or Continuations to Program Web Servers”, ICFP 2000 - 5th ACM SIGPLAN international conference on Functional programming, Montreal, Canada, pp. 23-33, (ACM) [Queinnec 2000d]