# Validating the unit correctness of spreadsheet programs

Although in some of the examples described herein the cells of a spreadsheet application are organized into such table objects, the techniques described herein may be similarly employed with respect to other cell configurations or organizations, such as the (seemingly) infinite single grid or table of cells in each sheet of some typical spreadsheet applications that includes an unlimited (or very large) number of rows and columns of cells.Although many of the examples provided herein are with respect to a spreadsheet application, the techniques described herein may be similarly employed with respect to any application, spreadsheet or otherwise.In such cases, for example, a duration of 12 hours and 15 minutes is represented as “January 0, 1900 p.m.”, and a computation such as “*2” results in a value of “January 1, 1900 a.m.”.Moreover, when a duration is less than 24 hours long, it is interpreted as a fraction of a single day.In some such cases, for example, a computation such as “

Although in some of the examples described herein the cells of a spreadsheet application are organized into such table objects, the techniques described herein may be similarly employed with respect to other cell configurations or organizations, such as the (seemingly) infinite single grid or table of cells in each sheet of some typical spreadsheet applications that includes an unlimited (or very large) number of rows and columns of cells.Although many of the examples provided herein are with respect to a spreadsheet application, the techniques described herein may be similarly employed with respect to any application, spreadsheet or otherwise.In such cases, for example, a duration of 12 hours and 15 minutes is represented as “January 0, 1900 p.m.”, and a computation such as “*2” results in a value of “January 1, 1900 a.m.”.Moreover, when a duration is less than 24 hours long, it is interpreted as a fraction of a single day.In some such cases, for example, a computation such as “$1 1” results in a value of £2.Thus, in many cases, existing spreadsheet applications provide incorrect, counterintuitive, and/or meaningless results when operations are performed with respect to formatted values.

||Although in some of the examples described herein the cells of a spreadsheet application are organized into such table objects, the techniques described herein may be similarly employed with respect to other cell configurations or organizations, such as the (seemingly) infinite single grid or table of cells in each sheet of some typical spreadsheet applications that includes an unlimited (or very large) number of rows and columns of cells.

Although many of the examples provided herein are with respect to a spreadsheet application, the techniques described herein may be similarly employed with respect to any application, spreadsheet or otherwise.

In such cases, for example, a duration of 12 hours and 15 minutes is represented as “January 0, 1900 p.m.”, and a computation such as “*2” results in a value of “January 1, 1900 a.m.”.

Moreover, when a duration is less than 24 hours long, it is interpreted as a fraction of a single day.

In some such cases, for example, a computation such as “$1 1” results in a value of £2.

Thus, in many cases, existing spreadsheet applications provide incorrect, counterintuitive, and/or meaningless results when operations are performed with respect to formatted values.

As used herein, the term ‘processor’ refers to one or more devices, circuits, and/or processing cores configured to process data, such as computer program instructions.

1” results in a value of £2.Thus, in many cases, existing spreadsheet applications provide incorrect, counterintuitive, and/or meaningless results when operations are performed with respect to formatted values.In this specification, these implementations, or any other form that the invention may take, may be referred to as techniques.

One or more cells of a spreadsheet may be formatted to have a pre-defined or custom format such that values of the cells are represented in the selected format.

A format type may be associated with a particular type of measurement or quantity and may support one or more acceptable units for representing the quantity.

For the purpose of clarity, technical material that is known in the technical fields related to the invention has not been described in detail so that the invention is not unnecessarily obscured.

As used herein, the term “cell” refers to a cell associated with at least standard spreadsheet functionality.