ICAR Research Data Repository for Knowledge Management
Handling expressions with side-effects within an axiomatic semantics framework
DSpace at IIT Bombay
View Archive Info| Field | Value | |
| Title |
Handling expressions with side-effects within an axiomatic semantics framework
|
|
| Creator |
OBEROI, S
|
|
| Publisher |
INT ACADEMIC PUBL
|
|
| Date |
2011-10-27T18:18:28Z
2011-12-15T09:12:46Z 2011-10-27T18:18:28Z 2011-12-15T09:12:46Z 1993 |
|
| Type |
Proceedings Paper
|
|
| Identifier |
TENCON '93: 1993 IEEE REGION 10 CONFERENCE ON COMPUTER, COMMUNICATION, CONTROL AND POWER ENGINEERING, VOL 1,463-466
7-80003-285-X http://dspace.library.iitb.ac.in/xmlui/handle/10054/16382 http://hdl.handle.net/100/2879 |
|
| Source |
TENCON 93 - 1993 IEEE Region 10 Conference on Computer, Communication, Control and Power Engineering,BEIJING, PEOPLES R CHINA,OCT 19-21, 1993
|
|
| Language |
English
|
|