An Axiomatic Treatment of Exception Handling in an Expression-Oriented Language
- Shaula Yemini
- Daniel M. Berry
- 1987
- 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)
The Program Dependence Graph and Its Use in Optimization
- Jeanne Ferrante
- Karl J. Ottenstein
- et al.
- 1987
- ACM Transactions on Programming Languages and Systems (TOPLAS)
A Practical Method for LR and LL Syntactic Error Diagnosis and Recovery
- Michael G. Burke
- Gerald A. Fisher
- 1987
- ACM Transactions on Programming Languages and Systems (TOPLAS)
A Formal Approach to Undo Operations in Programming Languages
- George B. Leeman
- 1986
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Symmetric intertask communication
- Nissim Francez
- Shaula A. Yemini
- 1985
- ACM Transactions on Programming Languages and Systems (TOPLAS)
A Modular Verifiable Exception Handling Mechanism
- Shaula Yemini
- Daniel M. Berry
- 1985
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed algorithms for finding centers and medians in networks
- E. Korach
- D. Rotem
- et al.
- 1984
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Data Type Specification: Parameterization and the Power of Specification Techniques
- J.W. Thatcher
- E.G. Wagner
- et al.
- 1982
- ACM Transactions on Programming Languages and Systems (TOPLAS)
On the Development of the Algebra of Functional Programs
- John H. Williams
- 1982
- ACM Transactions on Programming Languages and Systems (TOPLAS)
And/Or Programs: A New Approach to Structured Programming
- David Harel
- 1980
- ACM Transactions on Programming Languages and Systems (TOPLAS)