dominproceedings_ref_en.bib

@inproceedings{tanaka2016ppl,
  author = {Akira Tanaka and Reynald Affeldt and Jacques Garrigue},
  title = {Formal Verification of the rank Function for Succinct Data Structures},
  booktitle = {18th Workshop on Programming and Programming Languages (PPL2016), Okayama-ken, Tamano-shi, March 7--9, 2016},
  year = {2016},
  editor = {},
  volume = {},
  number = {},
  series = {},
  pages = {},
  address = {},
  month = {Mar},
  organization = {},
  publisher = {},
  abstract = {15 pages. Best paper award \href{http://logic.cs.tsukuba.ac.jp/ppl2016/}{conference website} \href{https://staff.aist.go.jp/tanaka-akira/succinct/}{project page}}
}
@inproceedings{hirai2014jfla,
  author = {Yoichi Hirai and Reynald Affeldt},
  title = {What could {Coq} do for Database Software?---A Progress Report},
  booktitle = {25th Journ\'ees Francophones des Langages Applicatifs (JFLA 2014), Fr\'ejus, France, January 8--11},
  year = {2014},
  editor = {},
  volume = {},
  number = {},
  series = {},
  pages = {33--48},
  address = {},
  month = {Jan},
  organization = {},
  publisher = {},
  abstract = {}
}
@inproceedings{affeldt2010ppl,
  author = {Reynald Affeldt},
  title = {Toward Formal Construction of Assembly Arithmetic Functions from Pseudo-code},
  booktitle = {12th Workshop on Programming and Programming Languages (PPL2010), Kagawa-ken, Kotohira Onsen, March 3--5, 2010},
  year = {2010},
  editor = {},
  volume = {},
  number = {},
  series = {},
  pages = {1--14},
  address = {},
  month = {Mar},
  organization = {},
  publisher = {},
  abstract = {\href{http://staff.aist.go.jp/reynald.affeldt/documents/simu.pdf}{pdf preprint} \href{http://isw3.kankyo-u.ac.jp/ppl2010/}{conference website} \href{https://staff.aist.go.jp/reynald.affeldt/seplog/}{project page}}
}
@inproceedings{marti2007ppl,
  author = {Nicolas Marti and Reynald Affeldt},
  title = {A~Certified Verifier for a Fragment of Separation Logic},
  booktitle = {9th Workshop on Programming and Programming Languages (PPL2007), Ishikawa-ken, Kaga-shi, March 8--10, 2007},
  year = {2007},
  editor = {},
  volume = {},
  number = {},
  series = {},
  pages = {187--199},
  address = {},
  month = {Mar},
  organization = {},
  publisher = {},
  abstract = {Best paper award \href{https://staff.aist.go.jp/reynald.affeldt/seplog/}{project page}}
}

This file was generated by bibtex2html 1.98.