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...
|Published in:||Acta informatica, Vol. 16, No. 4 (1981), p. 371-426|
|Other Involved Persons:|
|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|
|QR Code:||Show QR Code|