41 search results - page 1 / 9 » On the Modularity of Deciding Call-by-Need |
FOSSACS
2001
Springer
13 years 9 months ago
2001
Springer
In a recent paper we introduced a new framework for the study of call by need computations. Using elementary tree automata techniques and ground tree transducers we obtained simple...
ICFP
2009
ACM
14 years 5 months ago
2009
ACM
GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...
JSC
2010
13 years 3 months ago
2010
We study the problem of deciding whether two ontologies are inseparable w.r.t. a signature Σ, i.e., whether they have the same consequences in the signature Σ. A special case is...
AAAI
2008
13 years 7 months ago
2008
Many semantic web applications require support for mappings between roles (or properties) defined in multiple independently developed ontology modules. Distributed Description Log...
IROS
2008
IEEE
13 years 11 months ago
2008
IEEE
— Highly sophisticated animals consist of a set of heterogenous modules decided by nature so that they can survive in a complex environment. In this paper we present a new modula...