Abstract: The present disclosure provides an area wide object dimensioning system for an object in motion, such as mounted to a vehicle (e.g., a lift truck). One or more sensors (e.g., a radar system, an acoustic sensor, an image capture system, a LIDAR system, a microwave system, etc.) are located within the area to capture data corresponding to one or more dimensions of the object as it travels through the area. Control circuitry receives the data from the sensors, which is converted into multiple dimensions corresponding to one or more surfaces of the object. Surface dimensions are employed to determine a shape, volume, orientation, or area of the surfaces of the object, and/or the object itself, based on the multiple surface dimensions.

Abstract: Techniques and tools relating to annotating program source code facilitate inferring annotations from source code based at least in part on a description (or specification) generated with a programmable tool. Described techniques and tools provide flexibility in annotation inference across different code bases and program states or properties of interest, and can reduce the overhead of adding annotations to “legacy” source code. For example, a specification is generated with a programmable specification tool that is separate from an inference engine. In the inference engine, one or more annotations for a computer program are inferred based at least in part on the specification.

Abstract: Techniques and tools relating to annotating program source code facilitate inferring annotations from source code based at least in part on a description (or specification) generated with a programmable tool. Described techniques and tools provide flexibility in annotation inference across different code bases and program states or properties of interest, and can reduce the overhead of adding annotations to “legacy” source code. For example, a specification is generated with a programmable specification tool that is separate from an inference engine. In the inference engine, one or more annotations for a computer program are inferred based at least in part on the specification.

Abstract: Techniques and tools relating to state-based source code annotation are described. For example, described techniques include flexible techniques for describing object states with annotations. In one aspect, properties of data structures in source code are described using state-defining code annotations. For example, specification structs can be used to describe an arbitrary set of states of objects, thereby improving the capabilities of the annotation language in terms of richness of program description. Specification structs also help to avoid annotating large numbers of individual fields in data structures by allowing several individual fields to be described by a single specification struct. Other aspects of a source code annotation language also are described.