Sciweavers

5 search results - page 1 / 1
» Generation for Dialogue Translation Using Typed Feature Stru...
Sort
View
COLING
1990
13 years 5 months ago
Generation for Dialogue Translation Using Typed Feature Structure Unification
This article introduces a bidirectional grammar generation system called feature structure-directed generation, developed for a dialogue translation system. The system utilizes ty...
Yoshihiro Ueda, Kiyoshi Kogure
COLING
1994
13 years 5 months ago
TGE: Tlinks Generation Environment
This paper describes the enhancements made, within a unification framework, based on typed feature structures, in order to support linking of lexical entries to their translation ...
Alicia Ageno, Francesc Ribas, German Rigau, Horaci...
ICAIL
1995
ACM
13 years 8 months ago
Automated Legislative Drafting: Generating Paraphrases of Legislation
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...
Radboud Winkels, Nienke den Haan
PADL
2004
Springer
13 years 10 months ago
Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...
Martin Erwig, Zhe Fu
TLDI
2010
ACM
247views Formal Methods» more  TLDI 2010»
14 years 1 months ago
F-ing modules
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
Andreas Rossberg, Claudio V. Russo, Derek Dreyer