Safe: A Semantic Technique for Transforming Programs in the Presence of Errors
- Alexander Aiken
- John H. Williams
- et al.
- 1995
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Publications
Date
Featured collections
Popular topics
33 results at ACM Transactions on Programming Languages and Systems (TOPLAS)
Techniques for Debugging Parallel Programs with Flowback Analysis
- Jong-Deok Choi
- Barton P. Miller
- et al.
- 1991
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Type-Extension Type Test Can be Performed in Constant Time
- Norman H. Cohen
- 1991
- ACM Transactions on Programming Languages and Systems (TOPLAS)
INC: A Language for Incremental Computations
- Daniel M. Yellin
- Robert E. Strom
- 1991
- ACM Transactions on Programming Languages and Systems (TOPLAS)
An Interval-Based Approach to Exhaustive and Incremental Interprocedural Data-Flow Analysis
- Michael Burke
- 1990
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Production Trees: A Compact Representation of Parsed Programs
- Vance E. Waddle
- 1990
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Verifying temporal properties without temporal logic
- Bowen Alpern
- Fred B. Schneider
- 1989
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Scheduling expressions on a pipelined processor with a maximal delay of one cycle
- David Bernstein
- Izidor Gertner
- 1989
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient synchronization of multiprocessors with shared memory
- Clyde P. Kruskal
- Larry Rudolph
- et al.
- 1988
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient and Correct Execution of Parallel Programs that Share Memory
- Dennis Shasha
- Marc Snir
- 1988
- ACM Transactions on Programming Languages and Systems (TOPLAS)