Commit 04e7f44a authored by POTTIER Francois's avatar POTTIER Francois

Bib file update.

parent 6d3f5375
......@@ -747,7 +747,7 @@
author = "Jonathan Aldrich",
title = "The power of interoperability: why objects are
inevitable",
booktitle = "onward",
booktitle = onward,
year = "2013",
pages = "101--116",
URL = "http://www.cs.cmu.edu/~aldrich/papers/objects-essay.pdf",
......@@ -2474,7 +2474,18 @@
title = "Program Verification Through Characteristic Formulae",
booktitle = icfp,
year = "2010",
URL = "http://arthur.chargueraud.org/research/2010/cfml/",
pages = "321--332",
URL = "http://www.chargueraud.org/research/2010/cfml/main.pdf",
}
@InProceedings{chargueraud-11-cfml,
author = "Arthur Chargu{\'e}raud",
title = "Characteristic Formulae for the Verification of
Imperative Programs",
booktitle = icfp,
year = "2011",
pages = "418--430",
URL = "http://www.chargueraud.org/research/2011/cfml/main.pdf",
}
@Article{chargueraud-ln-11,
......@@ -2877,6 +2888,14 @@
URL = "http://perso.ens-lyon.fr/pierre.lescanne/PUBLICATIONS/jsc-diseq.pdf",
}
@Misc{compcert,
author = "Xavier Leroy",
title = "The {CompCert} verified compiler, software and
commented proof",
year = "2014",
howpublished = "\url{http://compcert.inria.fr/}",
}
@Book{conchon-filliatre-ocaml-14,
author = "Sylvain Conchon et Jean-Christophe Filliâtre",
title = "Apprendre à programmer avec {OCaml}: Algorithmes et
......@@ -5543,6 +5562,14 @@
URL = "http://research.microsoft.com/~simonpj/Papers/derive.ps.gz",
}
@Unpublished{hinze-paterson-05,
author = "Ralf Hinze and Ross Paterson",
title = "Derivation of a Typed Functional {LR} Parser",
note = "Unpublished",
year = "2005",
URL = "http://www.cs.ox.ac.uk/ralf.hinze/publications/TypedLR.pdf",
}
@InProceedings{hirschowitz-cbv-04,
author = "Tom Hirschowitz and Xavier Leroy and J. B. Wells",
title = "Call-by-value mixin modules: Reduction semantics, side
......@@ -6602,6 +6629,7 @@
volume = "8",
number = "6",
pages = "607--639",
URL = "http://www.sciencedirect.com/science/article/pii/S0019995865904262",
}
@InProceedings{kobayashi-implicit-00,
......@@ -7171,14 +7199,6 @@
URL = "http://gallium.inria.fr/~xleroy/publi/compiler-certif.pdf",
}
@Misc{compcert,
author = "Xavier Leroy",
title = "The {CompCert} verified compiler, software and
commented proof",
year = "2014",
howpublished = "\url{http://compcert.inria.fr/}",
}
@TechReport{leroy-phd-92,
author = "Xavier Leroy",
title = "Polymorphic typing of an algorithmic language",
......@@ -8263,6 +8283,14 @@
alturl = "http://doi.acm.org/10.1145/888270",
}
@Book{naftalin-wadler-06,
author = "Maurice Naftalin and Philip Wadler",
title = "{Java} generics and collections",
publisher = "O'Reilly",
year = "2006",
URL = "http://shop.oreilly.com/product/9780596527754.do",
}
@InProceedings{nakano-00,
author = "Hiroshi Nakano",
title = "A Modality for Recursion",
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment