On Fri, Nov 26, 2010 at 1:07 PM, Mathieu Boespflug <mb...@tweag.net> wrote:
> [...]
> Also, there is another bug in the bib module, which i find very
> strange. If we augment the OP's .bib file with two more entries, and
> cite those, then one of them does *not* appear in the bibliography
> despite being cited. It also creates a big blank in the bibliography.
> Here's a minimal example. bib file attached. In my real thesis
> bibliography (over 200 entries), there are several such entries
> missing and several big blanks of varying sizes in the Bibliography
> section.
To follow up on this: after further investigation it seems the bibtex
@conference entry type is broken. All such entries in my bibtex
database appear as blanks in the bibliography. Below is a minimal
example with an attached bibtex database.
Any idea how to solve this or where to look?
\setuppapersize[letter][letter]
\setuplayout[backspace=1.25in,
width=middle,topspace=0.75in,headerheight=0.5in,bottomspace=0.75in,footerheight=0.5in]
\setupwhitespace[medium]
\setuppagenumbering[location=footer]
\setuphead[section][textstyle=bold, numberstyle=bold, continue=yes]
\setupbibtex[database=references,sort=author]
\setuppublications[refcommand=authoryear,sorttype=bbl]
\setupcite[authoryears][left=,right=]
\starttext
\section{Main Body}
This file is for testing whether the bibliography works. There seems
to be some problem.
Let's cite a conference article: \cite[reynolds:defints1972].
And another conference article: \cite[maranget:cpm].
Let's cite a journal article: \cite[reynolds:defints].
Let's cite a book: \cite[gordon:holbook].
Let's cite something unpublished: \cite[geuvers:gammainf].
Let's cite a miscellaneous item: \cite[coq].
\section{references}
\placepublications
\stoptext
@misc{coq,
title={{The {\sc Coq} proof assistant}},
key={Coq},
note={http://coq.inria.fr}
}
@conference{reynolds:defints1972,
author = {John C. Reynolds},
title = {Definitional interpreters for higher-order programming languages},
booktitle = {{Proceedings of the ACM Annual Conference}},
year = {1972},
month = {august},
pages = {717--740},
volume = {2},
publisher = {ACM, New York},
note = {Republié en tant que \cite[reynolds:defints].}
}
@article{reynolds:defints,
title={{Definitional interpreters for higher-order programming languages}},
author={Reynolds, J.C.},
journal={Higher-order and symbolic computation},
volume={11},
number={4},
pages={363--397},
issn={1388-3690},
year={1998},
publisher={Springer}
}
@book{gordon:holbook,
title={{Introduction to HOL: A theorem proving environment for higher order logic}},
author={Gordon, M. and Melham, T.},
year={1993},
publisher={Cambridge University Press New York, NY, USA}
}
@unpublished{geuvers:gammainf,
author = {Herman Geuvers and James McKinna and Freek Wiedijk},
title = {{Pure Type Systems without Explicit Contexts}},
month = {january},
year = {2009},
note = {Submitted}
}
@conference{maranget:cpm,
title={{Compiling pattern matching to good decision trees}},
author={Maranget, L.},
booktitle={Proceedings of the 2008 ACM SIGPLAN workshop on ML},
pages={35--46},
year={2008},
organization={ACM New York, NY, USA}
}
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the
Wiki!
maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage : http://www.pragma-ade.nl / http://tex.aanhet.net
archive : http://foundry.supelec.fr/projects/contextrev/
wiki : http://contextgarden.net
___________________________________________________________________________________
