Abstract: A device for creating and analyzing larger symbolic representations without the limitations imposed by available resources of previous devices is disclosed. More specifically, a debugger for debugging a symbolic representation of a program is disclosed. The debugger comprising means for inputting a set of characteristics, means for linking the set of characteristics to the symbolic representation, means for identifying a first portion of the symbolic representation mutually exclusive from the set of characteristics, and means for analyzing a second portion of the symbolic representation for the set of characteristics wherein the second portion being mutually exclusive from the first portion. A method of debugging programs using the debugger, in addition to the resultant debugged program, is also disclosed.

Abstract: A method and system for information archiving on a network that is universally accessible to users. A stationary or mobile user may archive information on demand. A hook up into the network is established via a communication medium, and an initial protocol accesses the archiving service and communicates details of what is to be archived. The communication medium is then used to transmit and store the information in a specified fashion on the network, to be retrieved at a future time. The hook up may be initiated either by the user or by the network.