672 search results - page 9 / 135 » On the Expressive Power of the Loop Language |
ACTA
2007
14 years 12 months ago
2007
XSLT is a standard rule-based programming language for expressing transformations of XML data. The language is currently in tran
APLAS
2010
ACM
14 years 12 months ago
2010
ACM
Abstract. By combining algorithmic learning, decision procedures, predicate abstraction, and simple templates, we present an automated technique for finding quantified loop invaria...
WEBDB
2005
Springer
15 years 5 months ago
2005
Springer
In the relational model it has been shown that the flat relational algebra has the same expressive power as the nested relational algebra, as far as queries over flat relations ...
ESOP
2010
Springer
15 years 4 months ago
2010
Springer
Modern software systems have frequently to face unexpected events, reacting so to reach a consistent state. In the field of concurrent and mobile systems (e.g., for web services) ...
CSL
2007
Springer
15 years 3 months ago
2007
Springer
We compare the expressive power of a class of well-structured transition systems that includes relational automata, Petri nets, lossy channel systems, and constrained multiset rewr...