Barbara Liskov, Nicholas Mathewson, and Andrew C. Myers. PolyJ: Parameterized types for Java. Software release. Located at http://www.pmg.lcs.mit.edu/polyj, July 1998. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
JFlow: Practical Mostly-Static Information Flow Control - Myers (1999) (74 citations) Self-citation (Myers) (Correct)
....to this grammar are required if the grammar is to be input to a parser generator. These grammar modifications (and, in fact, the code of the JFlow compiler itself) were to a considerable 14 extent derived from those of PolyJ, an extension to Java that supports parametric polymorphism [MBL97, LMM98]. A.1 Label expressions LabelExpr: f Components opt g Components: Component Components ; Component Component: Principal : Principals opt this Identifier Identifier Principals: Principal Principals , Principal Principal: Name A.2 Labeled types Types are extended to permit labels. ....
Barbara Liskov, Nicholas Mathewson, and Andrew C. Myers. PolyJ: Parameterized types for Java. Software release. Located at http://www.pmg.lcs.mit.edu/polyj, July 1998.
Mostly-Static Decentralized Information Flow Control - Myers (1999) (15 citations) Self-citation (Myers) (Correct)
....within a parameterized class or interface, the formal parameters of the class may be used as actual parameters to instantiations of parameterized types within its scope. This rule corresponds exactly to the approach taken in many languages that support parameterization over types [LCD 94, LMM98, OW97] JFlow does not provide parameterization with respect to types, because it seems unnecessary for investigating static information flow control. It would be straightforward to add unconstrained parametric polymorphism in which the implementation of a polymorphic abstraction is unable to use ....
....be straightforward to add unconstrained parametric polymorphism in which the implementation of a polymorphic abstraction is unable to use any knowledge of the type parameter. This kind of parametric polymorphism is less expressive than that which appears in similar languages like PolyJ [MBL97, LMM98] or Pizza [OW97] Constrained parametric polymorphism, as in those languages, creates complications for information flow control, because the parameter can be used as an information channel. The addition of label and principal parameters to JFlow makes parameterized classes into simple dependent ....
[Article contains additional citation context not shown here]
Barbara Liskov, Nicholas Mathewson, and Andrew C. Myers. PolyJ: Parameterized types for Java. Software release. Located at http://www.pmg.lcs.mit.edu/polyj, July 1998.
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