A temporal fixpoint calculus
- Moshe Y. Vardi
- 1988
- POPL 1988
Publications
5 results at POPL 1988
Polymorphic effect systems
- John M. Lucassen
- David K. Gifford
- 1988
- POPL 1988
Sacrificing simplicity for convenience: Where do you draw the line?
- John H. Williams
- Edward L. Wimmers
- 1988
- POPL 1988
Detecting equality of variables in programs
- Bowen Alpern
- Mark N. Wegman
- et al.
- 1988
- POPL 1988
Global value numbers and redundant computations
- Barry K. Rosen
- Mark N. Wegman
- et al.
- 1988
- POPL 1988