A logic for expressions with side-effects.

Authors :: Boehm, Hans-J.
Source :: Proceedings of the 9th ACM SIGPLAN-SIHACT Symposium: Principles of Programming Languages; 1/25/1982, p268-280, 13p
Publication Year :: 1982

Language :: English
ISBNs :: 9780897910651
Database :: Complementary Index
Journal :: Proceedings of the 9th ACM SIGPLAN-SIHACT Symposium: Principles of Programming Languages
Publication Type :: Conference
Accession number :: 83645828
Full Text :: https://doi.org/10.1145/582153.582182