1445 search results - page 60 / 289 » Uniformly Hard Languages |
ECOOPW
1998
Springer
14 years 2 months ago
1998
Springer
We have performed an experiment in writing an aspect language for replication. This experiment has shown that although at rst sight replication could easily be described as an asp...
RR
2010
Springer
13 years 8 months ago
2010
Springer
The sparse application of the Semantic Web Rule Language is partly caused by a lack of intuitive rule editors. This applies both from a human user’s, as well as from a software i...
MFCS
2005
Springer
14 years 3 months ago
2005
Springer
This paper investigates the word problem for inverse monoids generated by a set Γ subject to relations of the form e = f, where e and f are both idempotents in the free inverse m...
ENTCS
2007
13 years 10 months ago
2007
We give a uniform type-systematic account of a number of optimizations and the underlying analyses for a bytecode-like stack-based low-level language, including analysis soundness...
IANDC
2007
13 years 10 months ago
2007
The present study aims at insights into the nature of incremental learning in the context of Gold’s model of identification in the limit. With a focus on natural requirements s...