Program Optimization Using Invariants
- Shmuel Katz
- 1978
- IEEE TSE
Publications
Date
Featured collections
Popular topics
8 results for Shmuel Katz
Interactive blackbox debugging for concurrent languages
- German S. Goldszmidt
- Shmuel Katz
- et al.
- 1988
- WPADD 1988
High-Level Language Debugging for Concurrent Programs
- German S. Goldszmidt
- Shaula Yemini
- et al.
- 1990
- ACM Transactions on Computer Systems (TOCS)
Interactive Blackbox Debugging for Concurrent Languages
- German S. Goldszmidt
- S. Katz
- et al.
- 1989
- ACM SIGPLAN Notices
Selection of representations for data structures
- Stanley J. Rosenschein
- Shmuel M. Katz
- 1977
- ACM SIGPLAN Notices
Logical Analysis of Programs
- Shmuel Katz
- Zohar Manna
- 1976
- CACM
Self-stabilizing extensions for meassage-passing systems
- Shmuel Katz
- Kenneth J. Perry
- 1993
- Distributed Computing
Preserving liveness: Comments on "safety and liveness from a methodological point of view"
- Martín Abadi
- Bowen Alpern
- et al.
- 1991
- Information Processing Letters