Sciweavers

742 search results - page 35 / 149
» Formal Grammar for Java
Sort
View
IMCSIT
2010
13 years 6 months ago
Generation of First-Order Expressions from a Broad Coverage HPSG Grammar
This paper describes an application for computing first-order semantic representations of English texts. It is based on a combination of hybrid shallow-deep components arranged wit...
Ravi Coote, Andreas Wotzlaw
AGTIVE
2003
Springer
14 years 2 months ago
A Demo of OptimixJ
OptimixJ is a graph rewrite tool that generates Java code from rewrite specifications. Java classes are treated as graph schemas, enabling OptimixJ to extend legacy Java applicati...
Uwe Aßmann, Johan Lövdahl
FM
2001
Springer
99views Formal Methods» more  FM 2001»
14 years 1 months ago
Transacted Memory for Smart Cards
Transacted Memory offers persistence, undoability and auditing. We present a Java/JML Reference Model of the Transacted Memory system on the basis of our earlier separate Z model...
Pieter H. Hartel, Michael J. Butler, Eduard de Jon...
IJCNLP
2005
Springer
14 years 2 months ago
Machine Translation Based on Constraint-Based Synchronous Grammar
This paper proposes a variation of synchronous grammar based on the formalism of context-free grammar by generalizing the first component of productions that models the source text...
Fai Wong, Dong-Cheng Hu, Yu-Hang Mao, Ming-Chui Do...
LACL
1998
Springer
14 years 1 months ago
Strict Compositionality and Literal Movement Grammars
Abstract. The principle of compositionality, as standardly defined, regards grammars as compositional that are not compositional in an intuitive sense of the word. There is, for ex...
Marcus Kracht