6829 search results - page 45 / 1366 » Quantitative Generalizations of Languages |
251
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
120
click to vote
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
Quantitative properties of timed regular languages, such as information content (growth rate, entropy) are explored. The approach suggested by the same authors is extended to lang...
128
Voted
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper studies the expressive power of finite-state automata recognizing sets of real numbers encoded positionally. It is known that the sets that are definable in th...
136
click to vote
JCSS
2011
14 years 11 months ago
2011
Abstract. We show how to represent an interval of real numbers in an abstract numeration system built on a language that is not necessarily regular. As an application, we consider ...
134
click to vote
FMCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...