diff options
Diffstat (limited to 'doc/gf-bibliography.html')
| -rw-r--r-- | doc/gf-bibliography.html | 81 |
1 files changed, 41 insertions, 40 deletions
diff --git a/doc/gf-bibliography.html b/doc/gf-bibliography.html index 63cfe2084..4281f9460 100644 --- a/doc/gf-bibliography.html +++ b/doc/gf-bibliography.html @@ -2,13 +2,14 @@ <HTML> <HEAD> <META NAME="generator" CONTENT="http://txt2tags.org"> +<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=utf-8"> <LINK REL="stylesheet" TYPE="text/css" HREF="../css/style.css"> <meta name = "viewport" content = "width = device-width"><TITLE>Grammatical Framework Bibliography</TITLE> </HEAD><BODY BGCOLOR="white" TEXT="black"> <CENTER> <H1><a href="../"><IMG src="../doc/Logos/gf0.png"></a>Grammatical Framework Bibliography</H1> <FONT SIZE="4"><I>Aarne Ranta</I></FONT><BR> -<FONT SIZE="4">Fri Sep 28 22:11:33 2012</FONT> +<FONT SIZE="4">Tue Nov 27 16:47:06 2012</FONT> </CENTER> <P></P> @@ -42,7 +43,7 @@ ACM, <I>Using GF to verbalize platform-independent requirement specifications as a part of a software engineering tool chain.</I> </P> <P> -C. España-Bonet, R. Enache, A. Slaski, A. Ranta, L. Màrquez, and M. Gonzàlez. +C. España-Bonet, R. Enache, A. Slaski, A. Ranta, L. Mà rquez, and M. Gonzà lez. Patent translation within the MOLTO project. Proceedings of the 4th Workshop on Patent Translation, MT Summit XIII, Xiamen, China, September 23, 2011. @@ -55,7 +56,7 @@ Seyed M. Montazeri, Nivir Roy, and Gerardo Schneider. From Contracts in Structured English to CL Specifications. <I>5th International Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'11)</I>, volume 68 of EPTCS, pages 55-69, -Málaga, Spain, 22-23 September 2011. +Málaga, Spain, 22-23 September 2011. <A HREF="http://dx.doi.org/10.4204/EPTCS.68.6">PDF/DOI</A> <br> <I>Formal analysis of contracts written in controlled English.</I> @@ -71,7 +72,7 @@ pp. 70-76. <I>Punjabi syntax, building on Humayoun and Ranta 2010.</I> </P> <P> -D. Dannélls, M. Damova, R.Enache, M. Chechev. +D. Dannélls, M. Damova, R.Enache, M. Chechev. A Framework for Improved Access to Museum Databases in the Semantic Web. Proceedings of the Workshop on Language Technologies for Digital Humanities and Cultural Heritage, RANLP-2011, Recent Advances in Natural Language Processing, @@ -84,7 +85,7 @@ pp 8-15 <P> A. Ranta. Translating between Language and Logic: What Is Easy and What is Difficult? -In N. Bjørner and V. Sofronie-Stokkermans (eds.), +In N. Bjørner and V. Sofronie-Stokkermans (eds.), <I>CADE-23. Automated Deduction</I>, LNCS/LNAI 6803, pp. 5-25, @@ -113,7 +114,7 @@ Swedish Language Technology Conference SLTC 2010. <I>Tourist Phrasebook grammar, available in 14 European languages.</I> </P> <P> -G. Détrez and R. Enache. +G. Détrez and R. Enache. A Framework for Multilingual Applications on the Android Platform Swedish Language Technology Conference SLTC 2010. <A HREF="http://www.grammaticalframework.org/doc/archive/sltc10_submission_24.pdf">PDF</A> @@ -177,7 +178,7 @@ ACM Digital Library, <I>An overview of GF for developers and users of translation systems.</I> </P> <P> -D. Dannélls and J. Camilleri. +D. Dannélls and J. Camilleri. Verb Morphology of Hebrew and Maltese - Towards an Open Source Type Theoretical Resource Grammar in GF. <I>Proceedings of the Language Resources (LRs) and Human Language Technologies (HLT) for Semitic Languages Status, Updates, and Prospects, LREC-2010 Workshop</I>, Malta, pp. 57-61. @@ -195,7 +196,7 @@ MathNat - Mathematical Text in a Controlled Natural Language. <I>Natural language interface to a proof system, implemented in GF.</I> </P> <P> -D. Dannélls. +D. Dannélls. Discourse Generation from Formal Specifications Using the Grammatical Framework, GF. <I>Special issue: Natural Language Processing and its Applications. Journal on Research in Computing Science (RCS)</I>, volume 46. pp. 167-178, @@ -260,7 +261,7 @@ vol. 448, </P> <P> A. Ranta. Grammars as Software Libraries. -In Y. Bertot, G. Huet, J-J. Lévy, and G. Plotkin (eds.), +In Y. Bertot, G. Huet, J-J. Lévy, and G. Plotkin (eds.), <I>From Semantics to Computer Science</I>, Cambridge University Press, Cambridge, pp. 281-308, @@ -312,9 +313,9 @@ ed. by R. Cooper and R. Kempson, pp. 109-120. London: College Publications, <I>The resource grammar idea applied to language learning and evolution.</I> </P> <P> -Moisés Salvador Meza Moreno and B. Bringert. +Moisés Salvador Meza Moreno and B. Bringert. Interactive Multilingual Web Applications with Grammatical Framework. -In B. Nordström and A. Ranta (eds), +In B. Nordström and A. Ranta (eds), <I>Advances in Natural Language Processing (GoTAL 2008)</I>, LNCS/LNAI 5221, Springer, 2008. @@ -322,9 +323,9 @@ LNCS/LNAI 5221, Springer, <I>Shows how GF compiled to JavaScript is used in dynamic multilingual web pages.</I> </P> <P> -Peter Ljunglöf and Staffan Larsson. +Peter Ljunglöf and Staffan Larsson. A grammar formalism for specifying ISU-based dialogue systems. -In B. Nordström and A. Ranta (eds), +In B. Nordström and A. Ranta (eds), <I>Advances in Natural Language Processing (GoTAL 2008)</I>, LNCS/LNAI 5221, Springer, 2008. @@ -335,7 +336,7 @@ LNCS/LNAI 5221, Springer, <P> K. Angelov. Type-Theoretical Bulgarian Grammar. -In B. Nordström and A. Ranta (eds), +In B. Nordström and A. Ranta (eds), <I>Advances in Natural Language Processing (GoTAL 2008)</I>, LNCS/LNAI 5221, Springer, 2008. @@ -355,8 +356,8 @@ Manchester, UK, August 23, <P> A. Ranta. How predictable is Finnish morphology? An experiment on lexicon construction. -In J. Nivre, M. Dahllöf and B. Megyesi (eds), -<I>Resourceful Language Technology: Festschrift in Honor of Anna Sågvall Hein</I>, +In J. Nivre, M. Dahllöf and B. Megyesi (eds), +<I>Resourceful Language Technology: Festschrift in Honor of Anna SÃ¥gvall Hein</I>, University of Uppsala, 2008. Available from <A HREF="http://publications.uu.se/abstract.xsql?dbid=8933">series homepage</A> @@ -424,7 +425,7 @@ Dublin, August 2007 (ESSLLI workshop). <I>Describes the compilation of GF source code to lower-level run-time formats.</I> </P> <P> -M. Humayoun, H. Hammarström, and A. Ranta. +M. Humayoun, H. Hammarström, and A. Ranta. Urdu Morphology, Orthography and Lexicon Extraction. <I>CAASL-2: The Second Workshop on Computational Approaches to Arabic Script-based Languages</I>, July 21-22, 2007, LSA 2007 Linguistic Institute, Stanford University. @@ -464,7 +465,7 @@ Tartu, 24 May 2007 (NODALIDA workshop). <I>with comparisons to feature-based unification grammars.</I> </P> <P> -O. Caprotti and M. Seppälä. +O. Caprotti and M. Seppälä. Multilingual Delivery of Online Tests in mathematics. Proceedings of Online Educa Berlin 2006. 29 November - 1 December 2006. Berlin, Germany. @@ -510,7 +511,7 @@ pp. 488-499, A. Ranta. Type Theory and Universal Grammar. <I>Philosophia Scientiae, Constructivism: Mathematics, Logic, Philosophy and Linguistics</I>, -cahier spécial 6, +cahier spécial 6, pp. 115-131, 2006. <br> @@ -578,7 +579,7 @@ pp. 51-66, <I>Natural Language Generation techniques to improve text quality.</I> </P> <P> -B. Bringert, R. Cooper, P. Ljunglöf, A. Ranta, +B. Bringert, R. Cooper, P. Ljunglöf, A. Ranta, Multimodal Dialogue System Grammars. <I>Proceedings of DIALOR'05, Ninth Workshop on the Semantics and Pragmatics of Dialogue, Nancy, France, June 9-11, 2005</I>, 2005. @@ -591,17 +592,17 @@ Multimodal Dialogue System Grammars. K. Johannisson, Formal and Informal Software Specifications. PhD thesis, -Computer Science, Göteborg University, +Computer Science, Göteborg University, 2005. [<A HREF="http://www.cse.chalmers.se/~krijo/thesis/thesisA4.pdf">http://www.cse.chalmers.se/~krijo/thesis/thesisA4.pdf</A>] <br> <I>Collection of articles in the GF-KeY project, with an introduction.</I> </P> <P> -P. Ljunglöf. +P. Ljunglöf. Expressivity and Complexity of the Grammatical Framework. PhD thesis, Computer Science, -Göteborg University, +Göteborg University, 2004. <A HREF="http://www.cse.chalmers.se/~peb/pubs/Ljunglof-2004a.pdf">pdf</A> <br> @@ -630,7 +631,7 @@ Draft available as <A HREF="http://www.cse.chalmers.se/~aarne/articles/3formsem. <I>this to type-theoretical grammars for anaphoric expressions.</I> </P> <P> -H. Hammarström and A. Ranta. +H. Hammarström and A. Ranta. Cardinal Numerals Revisited in GF. <I>Workshop on Numerals in the World's Languages</I>. Dept. of Linguistics Max Planck Institute for Evolutionary Anthropology, Leipzig, @@ -646,7 +647,7 @@ In A. Beckmann and N. Preining, editors, <I>Collegium Logicum</I>, volume V, pp. 1-86. -Kurt Gödel Society, +Kurt Gödel Society, Vienna, 2004. <br> @@ -691,7 +692,7 @@ pp. 38-41, <I>how new grammars are created.</I> </P> <P> -R. Hähnle, K. Johannisson, and A. Ranta. +R. Hähnle, K. Johannisson, and A. Ranta. An Authoring Tool for Informal and Formal Requirements Specifications. In R. D. Kutsche and H. Weber (eds), <I>ETAPS/FASE-2002: Fundamental Approaches to Software Engineering</I>, @@ -703,21 +704,21 @@ pp. 233--248, <br> <I>Describes a GF-based authoring tool for object-oriented</I> <I>specifications in OCL and English. Carries out in full</I> -<I>the work proposed in the position paper (Hähnle & Ranta 2001).</I> +<I>the work proposed in the position paper (Hähnle & Ranta 2001).</I> </P> <P> K. Johannisson and A.Ranta, Formal Verification of Multilingual Instructions. <I>Proceedings of the Joint Winter Meeting 2001</I>. Departments of Computer Science and Computer Engineering, -Chalmers University of Technology and Göteborg University. +Chalmers University of Technology and Göteborg University. 2001. <A HREF="http://www.cse.chalmers.se/~aarne/articles/aarne+krijo.ps.gz">ps.gz</A>. <br> <I>Instructions for an alarm system in four languages, verified in the proof editor Alfa.</I> </P> <P> -R. Hähnle and A. Ranta, +R. Hähnle and A. Ranta, Connecting OCL with the Rest of the World. <I>ETAPS 2001 Workshop on Transformations in UML (WTUML)</I>, Genova, @@ -730,14 +731,14 @@ Genova, </P> <P> T. Hallgren, "The Correctness of Insertion Sort", -Manuscript, Chalmers University, Göteborg, 2001. +Manuscript, Chalmers University, Göteborg, 2001. Available in <A HREF="http://www.cse.chalmers.se/~hallgren/Papers/insertion_sort.ps">ps</A> <br> <I>A seven-page text generated by GF-Alfa</I>. </P> <P> -A. Ranta. "Bescherelle bricolé", +A. Ranta. "Bescherelle bricolé", <A HREF="../../GF2.0/doc/BeschBric.ps.gz">ps.gz</A>, 2001. <br> @@ -768,7 +769,7 @@ Saarbruecken, <I>Relates GF not only with XML but also with definite clause grammars</I>. </P> <P> -P. Mäenpää and A. Ranta. +P. Mäenpää and A. Ranta. The type theory and type checker of GF. <I>Colloquium on Principles, Logics, and Implementations of High-Level Programming Languages, Workshop on Logical Frameworks and Meta-languages, Paris, 28 September 1999</I>. 1999. @@ -785,25 +786,25 @@ In alphabetical order: </P> <P> L. Magnusson. -<I>The Implementation of ALF - a Proof Editor based on Martin-Löf's</I> +<I>The Implementation of ALF - a Proof Editor based on Martin-Löf's</I> <I>Monomorphic Type Theory with Explicit Substitutions</I>. PhD Thesis, Department of Computing Science, -Chalmers University of Technology and Göteborg University, +Chalmers University of Technology and Göteborg University, 1994. <br> <I>Back in 1992 the most wonderful program in the world, ALF is</I> <I>a model that GF directly follows: GF is Yet ALF.</I> </P> <P> -P. Martin-Löf. +P. Martin-Löf. <I>Intuitionistic Type Theory</I>. Bibliopolis, Naples, 1984. <br> <I>A very accessible book (if you have access to it!) on type theory directly from the source.</I> </P> <P> -B. Nordström, K. Petersson, and J. Smith. -<I>Programming in Martin-Löf's Type Theory: an Introduction</I>. +B. Nordström, K. Petersson, and J. Smith. +<I>Programming in Martin-Löf's Type Theory: an Introduction</I>. Oxford University Press, 1990. The book is out of print, but a free version can be picked up from <A HREF="http://www.cse.chalmers.se/Cs/Research/Logic/book/">www.cse.chalmers.se/Cs/Research/Logic/book/</A> @@ -823,7 +824,7 @@ Oxford University Press, Oxford, <P> A. Ranta. Syntactic categories in the language of mathematics. -In P. Dybjer, B. Nordström, and J. Smith, eds., +In P. Dybjer, B. Nordström, and J. Smith, eds., <I>Types for Proofs and Programs</I>, pp. 162-182, Lecture Notes in Computer Science @@ -853,8 +854,8 @@ Heidelberg, </P> <P> A. Ranta. -Structures grammaticales dans le français mathématique. -<I>Mathématiques, informatique et Sciences Humaines.</I>, +Structures grammaticales dans le français mathématique. +<I>Mathématiques, informatique et Sciences Humaines.</I>, vol. 138 pp. 5-56 and 139 pp. 5-36, 1997. <br> |