Sciweavers

3 search results - page 1 / 1
» A Simple Transformation for ONine-Parsable Grammars and its ...
Sort
View
CORR
2010
Springer
137views Education» more  CORR 2010»
13 years 5 months ago
Verification of Java Bytecode using Analysis and Transformation of Logic Programs
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...
Elvira Albert, Miguel Gómez-Zamalloa, Laure...
EACL
2006
ACL Anthology
13 years 6 months ago
Inheritance and the CCG Lexicon
I propose a uniform approach to the elimination of redundancy in CCG lexicons, where grammars incorporate inheritance hierarchies of lexical types, defined over a simple, feature-...
Mark McConville