Problematic features of programming languages: a situational-calculus approach

Certain features of programming languages, such as data structure operations and procedure call mechanisms, have been found to resist formalization by conventional program verification techniques. An alternate approach is presented, based on a "situational calculus,” which makes explicit refere...

Full description

Bibliographic Details
Published in:Acta informatica, Vol. 16, No. 4 (1981), p. 371-426
Main Author: Manna, Zohar
Other Involved Persons: Waldinger, Richard
Format: electronic Article
Item Description:This research was supported in part by the National Science Foundation under Grants MCS-78-02591 and MCS-79-09495, in part by the Office of Naval Research under Contracts N00014-75-C-0816 and N00014-76-C-0687, and in part by the Air Force Office of Scientific Research under Contract F30602-78-0099
Physical Description:Online-Ressource
QR Code: Show QR Code