Handling expressions with side effects within an axiomatic semantics framework
- Resource Type
- Conference
- Authors
- Oberoi, S.
- Source
- Proceedings of TENCON '93. IEEE Region 10 International Conference on Computers, Communications and Automation Computer, communication, control and power engineering TENCON '93. Proceedings. Computer, Communication, Control and Power Engineering.1993 IEEE Region 10 Conference on. 1:463-466 vol.1 1993
- Subject
- Aerospace
Bioengineering
Communication, Networking and Broadcast Technologies
Components, Circuits, Devices and Systems
Computing and Processing
Engineered Materials, Dielectrics and Plasmas
Power, Energy and Industry Applications
Robotics and Control Systems
Cost accounting
Computer science
Logic programming
Computer languages
Flowcharts
- Language
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 orders and showing how this can be used to define appropriate valuation functions. A syntactic transformation that eliminates all expressions with side effects is then presented. This transformation yields a program that is equivalent to the original program but has no expressions with side effects. This new program can be then handled with the standard axioms.ETX