An Approach to Correctness Proofs of Semicoroutines

Authors:
Ole-Johan Dahl
Affiliations:
-
Venue:
Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science
Year:
1974

Citing 0
Cited 3

An experiment with the extensibility of SIMULA

ACM SIGPLAN Notices
Coroutines in Pascal

ACM SIGPLAN Notices
Milestones: Mythical Signals in UML to Analyze and Monitor Progress

ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet

Quantified Score

Hi-index	0.00

Visualization

Abstract