From 19d5f1b2eae3b5292d78b9c2118037ef135a9b70 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 11 Dec 2006 17:00:47 +0000 Subject: [PATCH] bib entries for the paper --- doc/gf-bib.bib | 168 +++++++++++++++++++++++++++++++++++++++++++++---- 1 file changed, 156 insertions(+), 12 deletions(-) diff --git a/doc/gf-bib.bib b/doc/gf-bib.bib index 70ce4d7b7..180968084 100644 --- a/doc/gf-bib.bib +++ b/doc/gf-bib.bib @@ -18,19 +18,156 @@ @STRING{sc = "Soft Computing---A Fusion of Foundations, Methodologies and Applications"} -@article{KeY2004, - author = {Wolfgang Ahrendt and Thomas Baar and - Bernhard Beckert and Richard Bubel and - Martin Giese and Reiner H\"ahnle and - Wolfram Menzel and Wojciech Mostowski and - Andreas Roth and Steffen Schlager and - Peter H. Schmitt}, - title = {The {KeY} Tool}, - journal = {Software and System Modeling}, - year = {2004}, - note = {Online First issue, to appear in print} + + +@INPROCEEDINGS{isar, + AUTHOR = {M. Wenzel}, + TITLE = {{Isar - a Generic Interpretative Approach to Readable Formal Proof Documents}}, + BOOKTITLE = {{Theorem Proving in Higher Order Logics, TPHOLs'99}}, + YEAR = {2004}, + series = lncs, + volume = {1690}, + EDITOR = {Y. Bertot and G. Dowek and A. Hirschowitz and C. Paulin and L. Th\'{e}ry} } +@INPROCEEDINGS{pollard-hog, + AUTHOR = {C. Pollard}, + TITLE = {{Higher-Order Categorial Grammar}}, + {I}nterface}, + BOOKTITLE = {{Proceedings of the + Conference on Categorial Grammars (CG2004), Montpellier, France}}, + PAGES = {340--361}, + YEAR = {2004}, + EDITOR = {M. Moortgat} +} + +@INPROCEEDINGS{muskens-lg, + AUTHOR = {R. Muskens}, + TITLE = {Lambda {G}rammars and the {S}yntax-{S}emantics + {I}nterface}, + BOOKTITLE = {Proceedings of the Thirteenth Amsterdam Colloquium}, + PAGES = {150--155}, + YEAR = {2001}, + EDITOR = {van Rooy, R. and Stokhof, M.}, + PS = {amscoll.ps}, + PDF = {amscoll.pdf}, + ADDRESS = {Amsterdam} +} + +@inproceedings{degroote-acg, + title = {{Towards Abstract Categorial Grammars}}, + author = {Ph. de Groote}, + booktitle = {{Association for Computational Linguistics, + 39th Annual Meeting and 10th Conference of the European Chapter, Toulouse, France}}, + pages = {148--155}, + year = {2001} +} + +@misc{talk-deliv, + author = {P. Ljunglöf and G. Amores and R. Cooper and D. Hjelm and O. Lemon and P. Manchón + and G. Pérez and A. Ranta}, + year = 2006, + title = {{Multimodal Grammar Library}}, + note = {{TALK. Talk and Look: + Tools for Ambient Linguistic Knowledge. IST-507802. Deliverable 1.2b}} + } + +@INCOLLECTION{mar82, + AUTHOR = "{Martin-L\"{o}f}, Per", + TITLE = "Constructive mathematics and computer programming", + EDITOR = "Cohen and Los and Pfeiffer and Podewski", + BOOKTITLE = "Logic, Methodology and Philosophy of Science VI", + PUBLISHER = {North-Holland}, + ADDRESS = {Amsterdam}, + YEAR = {1982}, + PAGES = {153-175}} + + +@inproceedings{wiedijk, + AUTHOR = {F. Wiedijk}, + BOOKTITLE = {{Types for Proofs and Programs}}, + PUBLISHER = {Springer}, + SERIES = {LNCS 3085}, + editors = {S. Berardi and M. Coppo and F. Damiani}, + PAGES = {378--393}, + TITLE = {{Formal Proof Sketches}}, + YEAR = {2004} + } + +@inproceedings{bender, + author = {Bender, Emily M. and Flickinger, Dan}, + title = {Rapid Prototyping of Scalable Grammars: + Towards Modularity in Extensions to a Language-Independent Core}, + booktitle = {Proceedings of the 2nd International Joint Conference on + Natural Language Processing IJCNLP-05 (Posters/Demos)}, + address = {Jeju Island, Korea}, + year = 2005 +} + +@book{stroustrup, + AUTHOR = {B. Stroustrup}, + TITLE = {{The C++ Programming Language, Third Edition}}, + YEAR = {1998}, + PUBLISHER = {{Addison-Wesley}} +} + + +@techreport{bringert, + author = {B. Bringert}, + title = {{Embedded Grammars}}, + institution = {Department of Computing Science, Chalmers University + of Technology}, + type = {{MSc Thesis}}, + year = {2004} +} + +@techreport{humayoun, + author = {M. Humayoun}, + title = {{Urdu Morphology, Orthography and Lexicon Extraction}}, + institution = {Department of Computing Science, Chalmers University + of Technology}, + type = {{MSc Thesis}}, + year = {2006} +} + + +@inproceedings{khegai-acl, + title = {{GF Parallel Resource Grammars and Russian}}, + author = {J. Khegai}, + booktitle = {{Coling/ACL 2006}}, + pages = {475--482}, + year = {2006} +} + +@inproceedings{FM, + title = {{Functional Morphology}}, + author = {M. Forsberg and A. Ranta}, + booktitle = {{ICFP 2004, Showbird, Utah}}, + pages = {213-223}, + year = {2004} +} + +@inproceedings{eldada, + title = {{Implementing an Open Source Arabic Resource Grammar in GF}}, + author = {{A. El Dada and A. Ranta}}, + booktitle = {{20th Arabic Linguistics Symposium. Western Michigan University March 3-5 2006}} +} + +@inproceedings{nganga-africa, + title = {{Multilingual content development for eLearning in Africa}}, + author = {{W. Ng'ang'a}}, + booktitle = {{1st Pan-African Conference on ICT for Development, Education and Training. + 24-26 May 2006, Addis Ababa, Ethiopia}} +} + +@inproceedings{caprotti, + title = {{WebALT! Deliver Mathematics Everywhere}}, + author = {{O. Caprotti}}, + booktitle = {{Proceedings of SITE 2006. Orlando March 20-24, 2006}} +} + + + @ARTICLE{landin, AUTHOR = "P. Landin", TITLE = "The Next 700 Programming Languages", @@ -545,6 +682,13 @@ year = {1998} } +@Book{appel-java, + author = {A. Appel}, + title = {{Modern Compiler Implementation in Java}}, + publisher = {Cambridge University Press}, + year = {1998} +} + @Book{prolog, author = {W. F. Clocksin and C. S. Mellish}, title = {{Programming in Prolog}}, @@ -1234,7 +1378,7 @@ title = {{The Mizar Homepage}}, howpublished = {\verb!http://mizar.org/!}, documentURL = "http://mizar.org/", - year = 1999 + year = {2006} } @Misc{ALF-family-homepage,