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