Jim Horning. A case study in language design. In F. L. Bauer and M. Broy, editors, Program Construction. Springer-Verlag, 1979. LNCS 69. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Reasoning about Aliasing - Utting (1996) (14 citations) (Correct)
....Simple and efficient techniques for coping with aliasing are a pre requisite to reasoning effectively about the behaviour of such systems. Techniques for reasoning about aliasing within data structures and aliasing between program variables were thoroughly researched during the 1970 s [Rey78, Hor79, Cou90] However, the results of that research have largely been ignored in recent research on aliasing within object oriented systems. Furthermore, some of the 1970 s solutions are unnecessarily restrictive in the forms of aliasing that they allow. Object oriented systems require more flexible ....
Jim Horning. A case study in language design. In F. L. Bauer and M. Broy, editors, Program Construction. Springer-Verlag, 1979. LNCS 69.
Reasoning about Aliasing - Utting (1997) (14 citations) (Correct)
....Simple and efficient techniques for coping with aliasing are a pre requisite to reasoning effectively about the behaviour of such systems. Techniques for reasoning about aliasing within data structures and aliasing between program variables were thoroughly researched during the 1970 s [Rey78, Hor79, Cou90] However, the results of that research have largely been ignored in recent research on aliasing within object oriented systems. Furthermore, some of the 1970 s solutions are unnecessarily restrictive in the forms of aliasing that they allow. Object oriented systems require more flexible ....
Jim Horning. A case study in language design. In F. L. Bauer and M. Broy, editors, Program Construction. Springer-Verlag, 1979. LNCS 69.
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