Convert some documentation to UTF-8

Using %!encoding:utf-8 in txt2tags files ensures that the generated HTML includes an appropriate charset declaration. This way we avoid relying on browser defaults, which can be wrong.
2026-04-23 11:42:49 -06:00 · 2012-11-27 16:03:29 +00:00
parent a6ac00023d
commit bf1ce93220
4 changed files with 96 additions and 92 deletions
--- 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 &amp; Ranta 2001).</I>
+<I>the work proposed in the position paper (Hähnle &amp; 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>