6829 search results - page 45 / 1366 » Quantitative Generalizations of Languages |
208
click to vote
POPL
2007
ACM
16 years 1 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...
85
Voted
FSTTCS
2010
Springer
14 years 10 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...
98
Voted
ICALP
2007
Springer
15 years 4 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...
107
Voted
JCSS
2011
14 years 7 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 ...
112
Voted
FMCO
2004
Springer
15 years 6 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 ...