IEEE - Institute of Electrical and Electronics Engineers, Inc. - Handling expressions with side effects within an axiomatic semantics framework

Proceedings of TENCON '93. IEEE Region 10 International Conference on Computers, Communications and Automation

Author(s): S. Oberoi
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1993
Conference Location: Beijing, China, China
Conference Date: 19 October 1993
Volume: 1
Page Count: 4
ISBN (Paper): 0-7803-1233-3
DOI: 10.1109/TENCON.1993.320027
Regular:

This paper shows how expressions with side effects can be treated in an axiomatic framework. The first problem is defining an appropriate valuation function. This is done by defining evaluation... View More

Advertisement