Robert O'Callahan and Daniel Jackson. Detecting shared representations using type inference. Technical Report CMU-CS-95-202, Carnegie Mellon University, September 1995.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....indexes and misuses of type casts based on the use of static analysis. Work on static analysis that can be applied to checking for out of bounds array accesses includes [7, 22, 15, 3, 23] The idea of applying alternative type systems to C has been investigated by a number of groups, including [8, 18, 13, 17]; most of this work has discussed how to apply parametric polymorphism to C. Algorithms for points to analysis that distinguish among fields of structures [21, 25] and for so called physical type checking [5] can also be used to perform static safety checks. However, most of the work based on ....

R. O'Callahan and D. Jackson. Detecting shared representations using type inference. Technical Report CMU-CS-95-202, School of Comp. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA, September 1995.

....example problems with dereferencing null pointers, but only by adding explicit annotations to the source code. On the other hand, neither lint nor LCLint has a notion of subtyping. Alternative type systems. The idea of applying alternative type systems to C appears in several places, among them [7, 17, 11, 12, 16, 18]. Most of these references discuss the application of parametric polymorphism to C. In particular, 17] concerns a new dialect of C that is polymorphic and type safe. 11] uses polymorphic type inference on existing C programs, but for determining information about the transfer of values. 12] and ....

....type systems. The idea of applying alternative type systems to C appears in several places, among them [7, 17, 11, 12, 16, 18] Most of these references discuss the application of parametric polymorphism to C. In particular, 17] concerns a new dialect of C that is polymorphic and type safe. [11] uses polymorphic type inference on existing C programs, but for determining information about the transfer of values. 12] and [18] present algorithms to infer a certain kind of typing on structures. Both infer (though for different purposes) a maximal allowable coarsening of a structure: at ....

Robert O'Callahan and Daniel Jackson. Detecting shared representations using type inference. Technical Report CMU-CS-95-202, Carnegie Mellon University, September 1995.

....algorithm would compute results very similar to those of [BCCH95] but is likely to be faster since it is based on constraint solving rather than data flow analysis. O Callahan and Jackson convert C programs to ML programs and use ML type inference to compute the equivalent of points to results [OJ95]. Not all C programs can be converted to ML by their techniques, and even then their algorithm may compute unsafe results due to type casts in the source program. There exist many interprocedural flow sensitive data flow analyses, e.g. CWZ90, EGH94, WL95, Ruf95] Both the algorithm by Chase, et ....

Robert O'Callahan and Daniel Jackson. Detecting shared representations using type inference. Technical Report CMU-CS-95-202, School of Computer Science, Carnegie Mellon University, September 1995.

....problems with dereferencing null pointers but only by adding explicit annotations to the source code. On the other hand, neither lint nor LCLint has a notion of subtyping. Alternative type systems. The idea of applying alternative type systems to C appears in several places, among them [GS93, SV96, OJ95, SR96, Ste96]. Most of these references discuss the application of parametric polymorphism to C. In particular, SV96] concerns a new dialect of C that is polymorphic and type safe. OJ95] uses polymorphic type inference on existing C programs, but for determining information about the transfer of values. ....

....The idea of applying alternative type systems to C appears in several places, among them [GS93, SV96, OJ95, SR96, Ste96] Most of these references discuss the application of parametric polymorphism to C. In particular, SV96] concerns a new dialect of C that is polymorphic and type safe. [OJ95] uses polymorphic type inference on existing C programs, but for determining information about the transfer of values. Physical type safety may also be contrasted with the work on typed assembly language of Morrisett et al. MWCG98] In that work, a type system is imposed on a RISC like assembly ....

Robert O'Callahan and Daniel Jackson. Detecting shared representations using type inference. Technical Report CMU-CS-95-202, Carnegie Mellon University, September 1995.

....tool might work nicely in conjunction with the work described in this paper. A generalizer could be used to create code to be placed into libraries and the signature matcher could be used to retrieve generalized code. The idea of mixing polymorphism with C appears in several places, among them [5, 15, 12]. 15] concerns a new dialect of C that is polymorphic and type safe. This differs from our approach in that it is not aimed at adding polymorphism to existing code. 12] uses polymorphic type inference on existing C programs, but for determining information about the transfer of values, as ....

....could be used to retrieve generalized code. The idea of mixing polymorphism with C appears in several places, among them [5, 15, 12] 15] concerns a new dialect of C that is polymorphic and type safe. This differs from our approach in that it is not aimed at adding polymorphism to existing code. [12] uses polymorphic type inference on existing C programs, but for determining information about the transfer of values, as opposed to producing reusable code. 8 Conclusions and Future Work This paper has discussed the problem of C function generalization and given an algorithm that provides a way ....

Robert O'Callahan and Daniel Jackson. Detecting shared representations using type inference. Technical Report CMU-CS-95-202, Carnegie Mellon University, September 1995.

....in the vortex benchmark. In this graph, a number of pointer types are cast to Ptr(DrawObj) which is a pointer to struct DrawObj. 5 Related Work Some of the ideas of this paper are also discussed in [13] The idea of applying alternate type systems to C appears in several places, among them [5, 15, 12, 14, 16]. Most of these references discuss the application of parametric polymorphism to C, while in this paper we discuss the application of subtype polymorphism to C. The related work section in [14] describes related work pertaining to the application of parametric polymorphism to C. The type system ....

Robert O'Callahan and Daniel Jackson. Detecting shared representations using type inference. Technical Report CMU-CS-95-202, Carnegie Mellon University, September 1995.

No context found.

Robert O'Callahan and Daniel Jackson. Detecting shared representations using type inference. Technical Report CMU-CS-95-202, Carnegie Mellon University, September 1995.

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