ICAR Research Data Repository for Knowledge Management
DSpace at IIT Bombay
View Archive InfoMetadata
| Field | Value |
| Title | Handling expressions with side-effects within an axiomatic semantics framework |
| Names |
OBEROI, S
|
| Date Issued | 1993 (iso8601) |
| Genre | Proceedings Paper |
| Identifier | TENCON '93: 1993 IEEE REGION 10 CONFERENCE ON COMPUTER, COMMUNICATION, CONTROL AND POWER ENGINEERING, VOL 1,463-466 |