Abstract: A device and method is presented for adapting existing articulating bedframes to prevent lateral movement of the user while the bedframe is articulated.

Abstract: A lightweight concrete composition comprising a dry mixture of an aggregate component, a hydraulic cement component and a fiber component. The aggregate component has a bulk density of 75 pounds per cubic foot or less and is present in the composition in an amount within the range of 55-70 wt. %. The hydraulic cement component is present in the dry mixture in an amount within the range of 30-45 wt. % and comprises three constituents. One constituent is selected from the group consisting of Type I and Type III cements and mixtures thereof. A second cement constituent, present in in an amount which is less than the first cement constituent, is a pozzolanic cement. The third cement constituent is present in an amount which is less than the amount of the second cement constituent and includes Type S masonry cement, Type N masonry cement, an air entraining agent and mixtures thereof. The fiber component can be Type AR glass fibers, having an aspect ratio within the range of 0.0015-0.005.

Abstract: A process and a system are used to verify that an object-oriented software component described in an extended programming language behaves correctly with respect to an abstract data model and specifications of the operations that may be performed on it The process and system also verify for an assembly of components that whenever an operation on a component is invoked, the correct conditions specified for that operation and component exist, and that specified properties hold for a component of the assembly.

Abstract: A method for ensuring that a program using dynamic binding and recursion is free from unbounded recursion is provided, together with a method for automatically constructing a set of mathematical theorems that are all true theorems if the program is indeed free from unbounded recursion. In a preferred embodiment, a computer program generates the set of theorems automatically from information in the program and the same or another computer program attempts to prove the theorems, with or without human assistance.

Abstract: A process and a system are used to verify that an object-oriented software component described in an extended programming language behaves correctly with respect to an abstract data model and specifications of the operations that may be performed on it The process and system also verify for an assembly of components that whenever an operation on a component is invoked, the correct conditions specified for that operation and component exist, and that specified properties hold for a component of the assembly.