pichardie.bib

@TECHREPORT{gdt06:jvm,
  author = {G. Barthe and D. Pichardie and T. Rezk},
  title = {Deriving an Information Flow Checker for the {JVM}},
  year = {2006},
  topics = {team},
  institution = {INRIA}
}

@INPROCEEDINGS{BFPR06:flops,
  author = {G. Barthe and  J. Forest and  D. Pichardie and V. Rusu},
  title = {{Defining and reasoning about recursive functions: a practical tool for the Coq proof assistant}},
  pages = {114-129},
  pdfurl = {http://www-sop.inria.fr/everest/personnel/David.Pichardie/Publis/genfixpoint.pdf},
  psurl = {http://www-sop.inria.fr/everest/personnel/David.Pichardie/Publis/genfixpoint.ps.gz},
  topics = {team},
  crossref = {flops06}
}

@INPROCEEDINGS{CaJePiSc05MemoryUsage,
  author = {D. Cachera and T. Jensen and D. Pichardie 
and Gerardo Schneider},
  title = {Certified Memory Usage Analysis},
  crossref = {fm05},
  pages = {91--106},
  topics = {castles}
}

@ARTICLE{CaJePiRu05TCSExtractAnalyser,
  author = {D. Cachera and T. Jensen and D. Pichardie 
and Vlad Rusu},
  title = {Extracting a Data Flow Analyser in Constructive 
Logic},
  journal = {tcs},
  year = {2005},
  volume = {342},
  number = {1},
  pages = {56-78},
  month = {September},
  note = {Extended version of \cite{CaJePiRu04ExtractAnalyser}},
  topics = {castles}
}

@INPROCEEDINGS{CaJePiRu04ExtractAnalyser,
  author = {D. Cachera and T. Jensen and D. Pichardie 
and Vlad Rusu},
  title = {Extracting a Data Flow Analyser in Constructive 
Logic},
  pages = {385--400},
  crossref = {esop04},
  topics = {castles}
}

@PROCEEDINGS{flops06,
  booktitle = {Proceedings of FLOPS'06},
  title = {Proceedings of FLOPS'06},
  year = 2006,
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = 3945,
  editor = {M. Hagiya and P. Wadler}
}

@PROCEEDINGS{fm05,
  year = {2005},
  booktitle = {Proc.\ of 13th International Symposium on Formal Methods (FM'05)},
  title = {Proc.\ of 13th International Symposium on Formal Methods (FM'05)},
  publisher = {Springer-Verlag},
  volume = {3582},
  series = {Lecture Notes in Computer Science}
}

@PROCEEDINGS{esop04,
  year = {2004},
  booktitle = {Proceedings of ESOP'04},
  title = {Proceedings of ESOP'04},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = {2986}
}

This file has been generated by bibtex2html 1.87.