The temporal query language TQuel
ACM Transactions on Database Systems (TODS)
Data path debugging: data-oriented debugging for a concurrent programming language
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
The temporal query language TQuel
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
On proving the correctness of optimizing transformations in a digital design automation system
DAC '81 Proceedings of the 18th Design Automation Conference
An algorithm to support code-skeleton generation for concurrent systems
ICSE '81 Proceedings of the 5th international conference on Software engineering
Generalized path expressions: A high level debugging mechanism (Preliminary Draft)
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
An Abstract Model of Behavior for Hardware Descriptions
IEEE Transactions on Computers
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
| Hi-index | 0.01 |