From dac46a89e8013ee2629cefde9e467b39e46dc4bb Mon Sep 17 00:00:00 2001 From: hallgren Date: Mon, 3 Oct 2011 15:36:27 +0000 Subject: [PATCH] corrected links in gf-biblio --- doc/gf-bibliography.html | 47 ++++++++++++++++++++-------------------- 1 file changed, 24 insertions(+), 23 deletions(-) diff --git a/doc/gf-bibliography.html b/doc/gf-bibliography.html index ca8749f1a..b15eb0bcb 100644 --- a/doc/gf-bibliography.html +++ b/doc/gf-bibliography.html @@ -2,12 +2,13 @@ + Grammatical Framework Bibliography -

Grammatical Framework Bibliography

+

Grammatical Framework Bibliography

Aarne Ranta
-Tue Dec 15 15:38:41 2009 +Wed Sep 21 18:42:17 2011

Publications on GF

@@ -49,7 +50,7 @@ In Y. Bertot, G. Huet, J-J. L Cambridge University Press, Cambridge, pp. 281-308, 2009. -pdf (preliminary version) +pdf (preliminary version)
Grammar-libraries from the software engineering point of view, with an example application to mathematical language.

@@ -190,7 +191,7 @@ A. Ranta. Modular Grammar Engineering in GF. Research on Language and Computation, 5:133-158, 2007. -Draft available as pdf. +Draft available as pdf.
Adapts library-based software engineering methods to grammar writing and introduces the module system of GF. @@ -201,7 +202,7 @@ The GF Grammar Compiler. Workshop on New Directions in Type-theoretic Grammars, Dublin, August 2007 (ESSLLI workshop). 2007. -pdf +pdf
Describes the compilation of GF source code to lower-level run-time formats.

@@ -220,7 +221,7 @@ Dialogue System Localization with the GF Resource Grammar Library. SPEECHGRAM 2007: ACL Workshop on Grammar-Based Approaches to Spoken Language Processing, June 29, 2007, Prague. 2007. -pdf +pdf
An experiment in porting an in-car dialogue system from two to six languages.

@@ -240,7 +241,7 @@ Features in Abstract and Concrete Syntax. The 2nd International Workshop on Typed Feature Structure Grammars, Tartu, 24 May 2007 (NODALIDA workshop). 2007. -pdf +pdf
Explores the design choices of incorporating features in a GF-like grammar, with comparisons to feature-based unification grammars. @@ -261,7 +262,7 @@ J. Khegai. Language engineering in Grammatical Framework (GF). Phd thesis, Computer Science, Chalmers University of Technology, 2006. -pdf +pdf
Collection of articles and technical reports on multilingual authoring and the Russian resource grammar. @@ -385,7 +386,7 @@ Expressivity and Complexity of the Grammatical Framework. PhD thesis, Computer Science, Göteborg University, 2004. -pdf +pdf
Language-theoretical study of GF and its parsing problem.

@@ -395,7 +396,7 @@ Grammatical Framework: A Type-Theoretical Grammar Formalism. Journal of Functional Programming, 14(2), pp. 145-189, 2004. -Draft available as ps.gz. +Draft available as ps.gz.
Theoretical paper explaining the GF formalism and its implementation. The standard reference on GF, but doesn't cover the module system. @@ -406,7 +407,7 @@ Computational semantics in type theory. Mathematics and Social Sciences, 165, pp. 31-57, 2004. -Draft available as pdf. +Draft available as pdf.
// Shows how Montague-style grammars are implemented in GF and extends// this to type-theoretical grammars for anaphoric expressions. @@ -443,7 +444,7 @@ Seoul, Korea, February 2003, Springer LNCS 945, pp. 38-41, 2004. -ps.gz. +ps.gz.
An introduction to the GF resource grammar project, with Russian as prime example.

@@ -454,7 +455,7 @@ Dialogue Systems as Proof Editors. pp. 225-240, 2004. Conference version (IJCAR/ICoS-3, Siena, June 2001) available as - ps.gz. + ps.gz. Shows a close analogy between task-oriented dialogue systems and metavariable-based proof editors.

@@ -467,7 +468,7 @@ Seoul, Korea, February 2003, Springer LNCS 945, pp. 38-41, 2004. -ps.gz. +ps.gz.
Explains how the GF GUI is used in syntax editing and discusses how new grammars are created. @@ -494,7 +495,7 @@ Formal Verification of Multilingual Instructions. Departments of Computer Science and Computer Engineering, Chalmers University of Technology and Göteborg University. 2001. -ps.gz. +ps.gz.
Instructions for an alarm system in four languages, verified in the proof editor Alfa.

@@ -514,7 +515,7 @@ Genova, T. Hallgren, "The Correctness of Insertion Sort", Manuscript, Chalmers University, Göteborg, 2001. Available in -ps +ps
A seven-page text generated by GF-Alfa.

@@ -534,7 +535,7 @@ LNCS/LNAI 1955, pp. 70-84, Springer Verlag, Heidelberg, 2000. -ps.gz. +ps.gz.
Describes an interface to the proof editor Alfa written in GF.

@@ -545,7 +546,7 @@ XML and multilingual document authoring: converging trends. pp. 243-249, Saarbruecken, 2000. -ps.gz. +ps.gz.
Relates GF not only with XML but also with definite clause grammars.

@@ -554,7 +555,7 @@ P. M The type theory and type checker of GF. Colloquium on Principles, Logics, and Implementations of High-Level Programming Languages, Workshop on Logical Frameworks and Meta-languages, Paris, 28 September 1999. 1999. -ps.gz. +ps.gz.
Concise theoretical presentation of GF, using the old notation prior to v0.9.

@@ -610,7 +611,7 @@ Lecture Notes in Computer Science Springer-Verlag, Heidelberg, 1995. -ps.gz +ps.gz
Predecessor of GF: grammar defined in type theory and implemented in ALF.

@@ -625,7 +626,7 @@ Lecture Notes in Computer Science Springer-Verlag, Heidelberg, 1996. -ps.gz. +ps.gz.
Extending the theory of the previous paper. The implementation in ALF eventually became so heavy that the need arose for GF. @@ -648,6 +649,6 @@ A. Ranta. Interprets Lambek Calculus in type theory and defines some extensions.

- - + +