672 search results - page 15 / 135 » On the Expressive Power of the Loop Language |
102
click to vote
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Quantitative languages are an extension of boolean languages that assign to each word a real number. Mean-payoff automata are finite automata with numerical weights on tr...
92
Voted
APLAS
2006
ACM
15 years 7 months ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
DBPL
2007
Springer
15 years 8 months ago
2007
Springer
Martens et al. defined a pattern-based specification language equivalent in expressive power to the widely adopted XML Schema definitions (XSDs). This language consists of rules...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
127
click to vote
UML
2001
Springer
15 years 6 months ago
2001
Springer
UML is the de-facto standard language for Object-Oriented analysis and design of information systems. Persistent storage and extraction of data in such systems is supported by dat...