672 search results - page 27 / 135 » On the Expressive Power of the Loop Language |
105
click to vote
CLIMA
2007
15 years 3 months ago
2007
Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend ...
119
click to vote
DBPL
1991
Springer
15 years 5 months ago
1991
Springer
We propose a programming paradigm that tries to get close to both the semantic simplicity of relational algebra, and the expressive power of unrestricted programming languages. It...
123
click to vote
IANDC
2008
15 years 1 months ago
2008
Timed Petri nets and timed automata are two standard models for the analysis of real-time systems. In this paper, we prove that they are incomparable for the timed language equival...
194
click to vote
POPL
2005
ACM
16 years 2 months ago
2005
ACM
As probabilistic computations play an increasing role in solving various problems, researchers have designed probabilistic languages that treat probability distributions as primit...
103
click to vote
AVI
1998
15 years 3 months ago
1998
In this paper we describe Kaleidoquery, a visual query language for object databases with the same expressive power as OQL. We will describe the design philosophy behind the filte...