672 search results - page 34 / 135 » On the Expressive Power of the Loop Language |
146
click to vote
DIAGRAMS
2004
Springer
15 years 8 months ago
2004
Springer
Spider diagrams are a visual notation for expressing logical statements. In this paper we identify a well known fragment of first order predicate logic, that we call ESD, equivalen...
240
click to vote
VLDB
2003
ACM
16 years 4 months ago
2003
ACM
Due to their expressive power, Regular Expressions (REs) are quickly becoming an integral part of language specifications for several important application scenarios. Many of thes...
119
click to vote
NIME
2004
Springer
15 years 10 months ago
2004
Springer
On-the-fly programming is a style of programming in which the programmer/performer/composer augments and modifies the program while it is running, without stopping or restarting, ...
167
click to vote
PPOPP
2012
ACM
14 years 6 days ago
2012
ACM
Graphics processing units (GPUs) are powerful devices capable of rapid parallel computation. GPU programming, however, can be quite difficult, limiting its use to experienced prog...
128
click to vote
ENTCS
2008
15 years 4 months ago
2008
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infini...