brichau-ppdp-06

Summary

Combining Fuzzy Logic and Behavioral Similarity for Non-Strict Program Validation. Coen De Roover, Johan Brichau and Theo D'Hondt. In Proceedings of the 8th ACM- SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'06), Venice, Italy, July 2006. (Rank (CORE) : B).

Bibtex entry

@INPROCEEDINGS { brichau-ppdp-06,
    AUTHOR = { Coen De Roover, Johan Brichau and Theo D'Hondt },
    TITLE = { Combining Fuzzy Logic and Behavioral Similarity for Non-Strict Program Validation },
    BOOKTITLE = { Proceedings of the 8th ACM- SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'06) },
    ADDRESS = { Venice, Italy },
    MONTH = { jul },
    YEAR = { 2006 },
    LONGNOTES = { 20060710 },
    GROUPS = { international,jacquard,mosaiques,conference },
    WEBSITE = { pauillac.inria.fr/~fages/PPDP/ },
    LASTNAME = { Coen De Roover },
    DATEADDED = { 2007-03-26 },
    LASTDATEMODIFIED = { 2007-03-26 },
    AERES = { ACT },
    INRIA = { JACQUARD },
    LABO = { dans },
    NOTE = { Rank (CORE) : B },
}

News

  • 2013/12/09: Ceremony for the PRES ULNF International Research Thesis Award 2013 granted to Gabriel Tamura for his PhD Thesis - U. Lille 1, Building P3, Maxwell Amphitheater
  • 2013/12/05: Rémi Druilhe PhD defense
  • 2013/11/27: Maria Gomez Lacruz received the Best Poster Award at the Welcome PhD session organized by PRES UNLF
  • 2013/11/04: Filip Krikava joins ADAM
  • 2013/10/29: The ApiSwarm project is selected in the context of the Windows Azure Research Award Program
  • 2013/10/15: Maria Gomez Lacruz joins ADAM
  • 2013/10/01: Maxime Colmant, Vincenzo Musco, Loïc Huertas and Bo Zhang join ADAM
  • 2013/09/01: Daniel Le Berre and Jifeng Xuan join ADAM
  • 2013/07/05: Russel Nzekwa PhD defense