1781 search results - page 257 / 357 » Visualizing program execution using user abstractions |
FATES
2006
Springer
14 years 18 days ago
2006
Springer
Abstract. Object models capture key properties of object-oriented architectures, and they can highlight relationships between types, occurrences of sharing, and object encapsulatio...
VLDB
1987
ACM
14 years 13 days ago
1987
ACM
FAD is a powerful and simple language designed for a highly parallel database machine. The basic concepts of the language are its data structures (which we call objects) and its p...
SQJ
2002
13 years 8 months ago
2002
Abstract. The work of Voas and colleagues has introduced, refined and applied the propagation, infection and execution (PIE) analysis technique for measuring testability of program...
SSS
2007
Springer
14 years 3 months ago
2007
Springer
We present formal definitions of stabilization for the Timed I/O Automata (TIOA) framework, and of emulation for the timed Virtual Stationary Automata programming abstraction laye...
CP
2006
Springer
14 years 20 days ago
2006
Springer
Ideally, programming propagators as implementations of constraints should be an entirely declarative specification process for a large class of constraints: a high-level declarativ...