2958 search results - page 113 / 592 » Extending and Implementing RASP |
EACL
1993
ACL Anthology
13 years 10 months ago
1993
ACL Anthology
In this paper a morphological component with a limited capability to automatically interpret (and generate) derived words is presented. The system combines an extended two-level m...
BIRTHDAY
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...
ENTCS
2006
13 years 9 months ago
2006
In previous work we proposed Linear Programs as a fine grained model for imperative programs, and showed how the model checking procedure used in SLAM can be generalised to a mode...
JODS
2006
13 years 9 months ago
2006
Knowledge representation languages that combine rules with object-oriented features akin to frame systems have recently attracted a lot of research interest, and F-logic is widely ...
ENTCS
2007
13 years 9 months ago
2007
’s abstraction theorem [21], often referred to as the parametricity theorem, can be used to derive properties about functional programs solely from their types. Unfortunately, i...