J. Nissen and P. Wallis. Portability and Style Guide in Ada. Cambridge Press, 1984. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Abstract Data Types Are Under Full Control With Ada 9X - Kempe (1995) (2 citations) (Correct)
.... programmers had no type initializers or constructors, so they resorted to always giving some neutral initial value to the components of their ADT, while expecting that client programmers would anyway re initialize the ADTs to suit their own, specific purpose [Boo87] Even an Ada style guide, [Nis84], advocated systematic default initial values for the components of private types. This approach was inefficient, and it made the selection of such initial invariants awkward for proof purposes as well as more general than necessary ( She82] advocated an efficient but unreliable solution) ....
J. Nissen and P. Wallis. Portability and Style Guide in Ada. Cambridge Press, 1984.
Abstract Data Types Are Under Full Control With Ada 9X - Kempe (1994) (2 citations) (Correct)
.... programmers had no type initializers or constructors, so they resorted to always giving some neutral initial value to the components of their ADT, while expecting that client programmers would anyway re initialize the ADTs to suit their own, specific purpose [Boo87] Even an Ada style guide, [Nis84], advocated systematic default initial values for the components of private types. This approach was inefficient, and it made the selection of such initial invariants awkward for proof purposes as well as more general than necessary ( She82] advocated an efficient but unreliable solution) ....
J. Nissen and P. Wallis. Portability and Style Guide in Ada. Cambridge Press, 1984.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC