4743 search results - page 359 / 949 » The PlusCal Algorithm Language |
151
click to vote
AADEBUG
1993
Springer
15 years 8 months ago
1993
Springer
Animation of execution is a necessary feature of source-level debuggers. We present a framework where animators are generated from existing algebraic speci cations of interpreters....
156
click to vote
IUI
1993
ACM
15 years 8 months ago
1993
ACM
Action mode interfaces, in which the user achieves his goals by manipulating representations, suffer from some fundamental disadvantages. In this paper, we present a working proto...
135
click to vote
VLDB
1994
ACM
15 years 8 months ago
1994
ACM
Making a database system active entails developing an expressive event specification language with well-defined semantics, algorithms for the detection of composite events, and an...
120
click to vote
FOCS
1989
IEEE
15 years 8 months ago
1989
IEEE
We introduce a temporal logic for the speci cation of real-time systems. Our logic, TPTL, employs a novel quanti er construct for referencing time: the freeze quanti er binds a var...
127
click to vote
CSR
2006
Springer
15 years 8 months ago
2006
Springer
Zielonka's theorem shows that each regular set of Mazurkiewicz traces can be implemented as a system of synchronized processes provided with some distributed control structure...