papers: update biblio ref for studia dh-ocaml paper
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 11 Apr 2012 19:25:58 +0000 (21:25 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 11 Apr 2012 19:25:58 +0000 (21:25 +0200)
research/publications.mdwn
research/publications/studia11-dh-ocaml.bib

index 0f6754b..213e303 100644 (file)
@@ -305,8 +305,10 @@ in reverse chronological order.
 
 # <span title="national, peer-reviewed journals">national, peer-reviewed journal articles</span>
 
- 1. <a class="paper-download" href="studia11-dh-ocaml.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="studia11-dh-ocaml.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://www.pps.jussieu.fr/~dogguy/">Mehdi Dogguy</a>, <a href="http://stephane.glondu.net/">St├ęphane Glondu</a>, <a href="http://sylvain.le-gall.net/">Sylvain Le Gall</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Enforcing Type-Safe Linking using Inter-Package Relationships**.  <em>Article in press, to appear in <a href="http://studia.complexica.net/">Studia Informatica
-      Universalis</a>, Hermann. 2011</em>
+ 1. <a class="paper-download" href="studia11-dh-ocaml.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="studia11-dh-ocaml.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://www.pps.jussieu.fr/~dogguy/">Mehdi Dogguy</a>, <a href="http://stephane.glondu.net/">St├ęphane Glondu</a>, <a href="http://sylvain.le-gall.net/">Sylvain Le Gall</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Enforcing Type-Safe Linking using Inter-Package Relationships**.  <em>In <a href="http://studia.complexica.net/">Studia
+      Informatica Universalis</a>, Volume 9, Issue
+      1, pp. 129-157. Hermann
+      2011.</em>
     [[!toggle id=id37 text="Abstract..."]] [[!toggleable id=id37 text="""
     *Abstract:* Strongly-typed languages rely on link-time checks to ensure that type safety is not violated at the borders of compilation units. Such checks entail very fine-grained dependencies among compilation units, which are at odds with the implicit assumption of backward compatibility that is relied upon by common library packaging techniques adopted by FOSS (Free and Open Source Software) package-based distributions. As a consequence, package managers are often unable to prevent users to install a set of libraries which cannot be linked together. We discuss how to guarantee link-time compatibility using inter-package relationships; in doing so, we take into account real-life maintainability problems such as support for automatic package rebuild and manageability of ABI (Application Binary Interface) strings by humans. We present the dh_ocaml implementation of the proposed solution, which is currently in use in the Debian distribution to safely deploy more than 300 OCaml-related packages.
     """]]
index 7458a0c..e057d4a 100644 (file)
@@ -3,5 +3,6 @@
   title = {Enforcing Type-Safe Linking using Inter-Package Relationships},
   abstract = {Strongly-typed languages rely on link-time checks to ensure that type safety is not violated at the borders of compilation units. Such checks entail very fine-grained dependencies among compilation units, which are at odds with the implicit assumption of backward compatibility that is relied upon by common library packaging techniques adopted by FOSS (Free and Open Source Software) package-based distributions. As a consequence, package managers are often unable to prevent users to install a set of libraries which cannot be linked together. We discuss how to guarantee link-time compatibility using inter-package relationships; in doing so, we take into account real-life maintainability problems such as support for automatic package rebuild and manageability of ABI (Application Binary Interface) strings by humans. We present the dh_ocaml implementation of the proposed solution, which is currently in use in the Debian distribution to safely deploy more than 300 OCaml-related packages.},
   year = {2011},
+  pages = {129-157},
   journal = {Studia Informatica Universalis},
 }