Abstract: A computer-implemented error detection mechanism for detecting programming errors in a computer program. The computer-implemented error detection method described herein can make use of a Function Behavior Knowledge Base (FBKB) to approximate how a virtual function changes state of the program execution for all methods that can be called at each specific invocation point. The FBKB is used to select what implementation of a virtual function should be called in order to give rise to a programming defect. By dropping implementations that do not lead to a programming defect, the set of possible object runtime types is reduced. If this set is empty by the end of the analysis, then a defect is not possible, otherwise the set of object runtime types will contain types that may cause a defect.

Abstract: A computer-implemented error detection mechanism for detecting programming errors in a computer program. The computer-implemented error detection method described herein can make use of a Function Behaviour Knowledge Base (FBKB) to approximate how a virtual function changes state of the program execution for all methods that can be called at each specific invocation point. The FBKB is used to select what implementation of a virtual function should be called in order to give rise to a programming defect. By dropping implementations that do not lead to a programming defect, the set of possible object runtime types is reduced. If this set is empty by the end of the analysis, then a defect is not possible, otherwise the set of object runtime types will contain types that may cause a defect.

Abstract: The invention relates to laser engineering and fibre optics. The inventive device for protecting fibre lines against destruction thereof by laser radiation is embodied in the form of a section of an optical fibre which comprises the cladding (6) and the core (7) thereof. The position (8) indicated dashed lines which show the position of the field of optical fibre mode. The distance between said dashed lines is equal to the diameter (D) of the field of light-guide mode. The position (10) indicates the section of the light-guide having the reduced diameter of a reflecting cladding. Said device operates as follows: a pressure of 104 atm. is produced by a high temperature in the core (7) during the propagation of an optical discharge wave. The pressure of 104 atm. is close to the strength limit of the optical fibre material heated by the optical discharge, that results in the stopping of the optical discharge wave.

Abstract: The present invention relates to a method for changing the refractive index in an element comprising germanium silicate glass by irradiating the germanium silicate glass with laser radiation having an associated wavelength in the range of 270 nm to 390 nm for exciting an absorption band in the glass centered at 330 nm. The element may be polymer coated in which instance the glass is irradiated through the polymer coating. In addition, the glass may have been exposed to a hydrogen atmosphere before being irradiated. In either instance, the laser radiation is directed at an angle to the surface of the element or along an optical axis of the element or both. The element may comprise a portion of an optical light guide, such as an optical fiber, or such as an integrated optical waveguide.