3440 search results - page 236 / 688 » Logics For Context-Free Languages |
187
click to vote
GPCE
2009
Springer
15 years 11 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
188
click to vote
AUSAI
2008
Springer
15 years 9 months ago
2008
Springer
This paper introduces the controlled natural language PENG Light together with a language processor that is based on a bidirectional grammar. The language processor has the followi...
187
click to vote
CNL
2009
15 years 8 months ago
2009
Logic-based controlled natural languages usually provide some facility for compositional representation, minimally including sentence level coordination and sometimes subordination...
202
click to vote
HASKELL
2008
ACM
15 years 8 months ago
2008
ACM
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...
225
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...