4743 search results - page 359 / 949 » The PlusCal Algorithm Language |
190
click to vote
AADEBUG
1993
Springer
15 years 10 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....
198
click to vote
IUI
1993
ACM
15 years 10 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...
167
click to vote
VLDB
1994
ACM
15 years 10 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...
157
click to vote
FOCS
1989
IEEE
15 years 10 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...
151
click to vote
CSR
2006
Springer
15 years 10 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...