Abstract: A static type, called “dynamic”, is introduced into a statically bound programming language. An expression or subexpression that is defined as a static type called “dynamic” in the source code of a program written in the statically bound programming language, is bound based on its runtime type instead of on its compile time type. Binding can be performed based on a mixture of compile time and runtime types that are based on the specification of types of expressions in source code. This type of binding is called hybrid binding. Operations are bound using the runtime type of constituent expressions (i.e., the runtime type of a receiver, an argument, or an operand) typed as dynamic and the compile time type of static constituents. If any constituent expression of an operation is dynamic, binding occurs at runtime instead of at compile time.

Abstract: A static type, called “dynamic”, is introduced into a statically bound programming language. An expression or subexpression that is defined as a static type called “dynamic” in the source code of a program written in the statically bound programming language, is bound based on its runtime type instead of on its compile time type. Binding can be performed based on a mixture of compile time and runtime types that are based on the specification of types of expressions in source code. This type of binding is called hybrid binding. Operations are bound using the runtime type of constituent expressions (i.e., the runtime type of a receiver, an argument, or an operand) typed as dynamic and the compile time type of static constituents. If any constituent expression of an operation is dynamic, binding occurs at runtime instead of at compile time.

Abstract: Embodiments of this invention control access to documents by identifying a user requesting a document, retrieving a membership list associated with the user, retrieving an access control list (ACL) associated with the document, and intersecting the user's membership list and the document's ACL to determine if the user has privileges to access to the document. Certain embodiments of this invention filter documents in a search result to return those documents (or a list of those documents) that are accessible to a user.

Abstract: Embodiments of this invention control access to documents by identifying a user requesting a document, retrieving a membership list associated with the user, retrieving an access control list (ACL) associated with the document, and intersecting the user's membership list and the document's ACL to determine if the user has privileges to access to the document. Certain embodiments of this invention filter documents in a search result to return those documents (or a list of those documents) that are accessible to a user.

Abstract: One embodiment of the present invention provides a system that facilitates typesafe software design while supporting structured composition of a software system. The system operates by first receiving an invocation of the software system. Next, the system assigns a context to this invocation. The system then examines the invocation to locate components of this invocation and registers a unique factory to build each component. These factories are registered using the context of this software system. When a component is needed, the system builds the component using a factory associated with this component. Building the component in this way after each component has a registered factory eliminates potential problems with initialization circularity.