No photo of Isabelle Pollet

Isabelle Pollet

  • 0 Citations
  • 0 h-Index
19982007
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Isabelle Pollet is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles
engineering Social Sciences
language Social Sciences
ontology Social Sciences
popularity Social Sciences
semantics Social Sciences
paradigm Social Sciences
cause Social Sciences
evaluation Social Sciences

Projects 2003 2007

Research Output 1998 2005

  • 2 Chapter
  • 1 Other report
  • 1 Conference contribution

A Template-based Analysis of GRL

Dallons, G., Heymans, P. & Pollet, I., 2005, FUNDP Institut d'Informatique.

Research output: Book/Report/JournalOther report

A Template-based Analysis of GRL

Dallons, G., Heymans, P. & Pollet, I., 2005, Proc. of EMMSAD'05 (@CAiSE'05), Tenth International Workshop on Exploring Modeling Methods in Systems Analysis and Design. Castro, J., Teniente, E., Halpin, T., Krogstie, J. & Siau, K. (eds.). Porto: FEUP Edicoes, p. 493-504 12 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

A Template-Based Analysis of GRL: Chapter 8

Heymans, P., Saval, G., Dallons, G. & Pollet, I., 2005, Advanced Topics in Database Research . Siau, K. (ed.). Hershey, PA, USA: Idea group Publishing, Vol. 5. p. 124-146 23 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

engineering
language
ontology
popularity
semantics

A Step towards a Methodology for Mercury Program Construction: A declarative Semantics for Mercury

Baldan, D., Le Charlier, B., Leclère, C. & Pollet, I., 1998, LOPSTR'98: Proc. International Workshop on Logic-Based program Synthesis and Transformation. Flener, P. (ed.). Springer Verlag, Vol. 1559. p. 21-40 20 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

Thesis

Analyse de strictness des langages applicatifs par l'interprétation abstraite

Author: Pollet, I., 1997

Supervisor: Le Charlier, B. (Supervisor)

Student thesis: Master typesMaster in Computer science

File

Sémantiques opérationnelles et domaines abstraits pour l'analyse statique de Java

Author: Pollet, I., 1999

Supervisor: Le Charlier, B. (Supervisor)

Student thesis: DEA typesDEA in Computer Science

Un analyseur syntaxique et un interpréteur abstrait pour un sous-ensemble de Java

Author: Dony, G., 2001

Supervisor: Le Charlier, B. (Supervisor) & Pollet, I. (Co-Supervisor)

Student thesis: Master typesMaster in Computer science