4008 search results - page 71 / 802 » An expressive language of signatures |
FPCA
1991
15 years 3 months ago
1991
We tackle the problem of detecting global variables in functional programs. We present syntactic criteria for single-threading which improves upon previous solutions (both syntact...
158
click to vote
EACL
2010
ACL Anthology
15 years 1 months ago
2010
ACL Anthology
The premise of the work presented in this chapter is that much of the existing work on the generation of referring expressions has focused on aspects of the problem that appear to ...
CP
2010
Springer
14 years 10 months ago
2010
Springer
We study the expressibility problem: given a finite constraint language Γ on a finite domain and another relation R, can Γ express R? We prove, by an explicit family of example...
110
click to vote
FQAS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Controlled languages (CLs) are ambiguity-free subsets of natural languages such as English offering a good trade-off between the formal rigor of ontology and query langua...
NC
2006
14 years 11 months ago
2006
Abstract. We describe a formal language/notation for DNA molecules that may contain nicks and gaps. The elements of the language, DNA expressions, denote formal DNA molecules. Diff...