proper info about 2004 mathsearch paper
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 6 Nov 2008 12:55:29 +0000 (13:55 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 6 Nov 2008 12:55:29 +0000 (13:55 +0100)
research/publications.mdwn
research/publications/mathsearch.pdf

index 6c18e35..9df3b3c 100644 (file)
@@ -164,10 +164,13 @@ in reverse chronological order.
     *Abstract:* The availability of a C implementation for the Document Object Model (DOM) gives the interesting opportunity of generating bindings for different programming languages automatically. Because of the DOM bias towards Java-like languages, a C implementation that fakes objects, inheritance, polymorphism, exceptions and uses reference-counting introduces a gap between the API specification and its actual implementation that the bindings should try to close. In this paper we overview the generative approach in this particular context and apply it for the generation of C++ and OCaml bindings.
     """]]
  1. <a class="paper_download" href="mathsearch.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> Andrea Asperti, Stefano Zacchiroli. **Searching Mathematics on the Web: State of the Art and Future Developments**.  <em>
-       In Proceedings of
-       <a href="http://eic-ecm4.sub.uni-goettingen.de/">New Developments in
-         Electronic Publishing of Mathematics 2004</a>.
-       Stockholm, Sweden -- June 2004. Edited by FIZ Karlsruhe, 2004.
+       In Proceedings
+       of <a href="http://eic-ecm4.sub.uni-goettingen.de/">New
+       Developments in Electronic Publishing AMS/SMM</a> Special
+       Session, Houston, May 2004 ECM4 Satellite Conference,
+       Stockholm, June
+       2004 <a href="http://www.emis.de/proceedings/Stockholm2004/asperti.pdf">p. 9-18</a>. FIZ
+       Karlsruhe, ISBN 3-88127-107-4.
       </em>
     [[toggle id=id3 text="Abstract..."]] [[toggleable id=id3 text="""
     *Abstract:* A huge amount of mathematical knowledge is nowadays available on the World Wide Web. Many different solutions and technologies for searching that knowledge have been developed as well. We present the state of the art of searching mathematics on the Web, giving some insight on future developments in this area.
index 75dc97f..901b036 100644 (file)
Binary files a/research/publications/mathsearch.pdf and b/research/publications/mathsearch.pdf differ