27119 search results - page 195 / 5424 » Languages |
133
click to vote
DLT
2001
15 years 5 months ago
2001
Context-free valence languages (over Zk ) are shown to be codings of the intersection of a context-free language and a blind kcounter language. This afl-style characterization all...
140
Voted
PODS
2008
ACM
16 years 3 months ago
2008
ACM
A survey of effective characterizations of tree logics. If L is a logic, then an effective characterization for L is an algorithm, which inputs a tree automaton and replies if the...
114
Voted
FASE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present an approach to define template languages for generating syntactically correct code. In the first part of the paper, we define the syntax and semantics of a ...
161
click to vote
ERSHOV
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The object-oriented programming language design space consists of class-based and prototype-based languages. Both language families have been shown to posses many advanta...
106
click to vote
ERCIMDL
2008
Springer
15 years 5 months ago
2008
Springer
This paper examines the effect of the default interface language on the usage of a bilingual digital library. In 2005 the default interface language of a bilingual digital library ...