CiteSeerX — Related by cluster: Reasoning about Programs with Effects

Reasoning about Programs with Effects (1990)

Cached

Download Links

[turing.une.edu.au]

Other Repositories/Bibliography

DBLP

by Ian Mason , Carolyn Talcott

Citations:

11 - 6 self

Document Versions

Reasoning about Programs with Effects –Ian Mason, Carolyn Talcott — 1990