6829 search results - page 426 / 1366 » Quantitative Generalizations of Languages |
180
click to vote
REFLECTION
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a general technique to support reflection in C++, exploiting template metaprogramming techniques. The technique is used for building an object interface to rel...
142
click to vote
CSL
2000
Springer
15 years 11 months ago
2000
Springer
We study definability of languages in arithmetic and the free monoid by bounded versions of fixed-point and transitive-closure logics. In particular we give logical characterisat...
201
click to vote
COSIT
1999
Springer
15 years 11 months ago
1999
Springer
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic lang...
173
click to vote
IFM
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. We report on the notation and tool integration framework developed in the application-oriented research project Espress. The framework is based on a Z core and provides m...
166
click to vote
CTCS
1997
Springer
15 years 11 months ago
1997
Springer
Monads can be used to model term rewriting systems by generalising the well-known equivalence between universal algebra and monads on the category Set. In [L¨u96], this semantics ...