However, a fully satisfactory theory of data structures should make it possible to analyse each data structure in isolation from other data structures and from the program counter
and related run-time information.
Thus, each method invocation stack frame must contain a fixed-size macro call stack of program counters
. Since macros are nonrecursive, the maximum stack depth can be computed by the factorization algorithm along with the set of macros, and be verified by the preprocessor for the verifier.
* We previously noted (May 1991) the Bank of New York's accidental $32 billion overdraft due to an unchecked program counter
over-flow, with BoNY having to fork out $5 million for a day's interest (SEN 11, 1, 1986, 3-7).
"We expanded off-chip memory addressing to 24 bits in our DS80C400 MCU, so users can contiguously address two separate 16-Mbyte spaces, one for data and one for code." The '400 includes a 24-bit program counter
, four 24-bit data pointers, a 10-bit stack pointer and special function register (SFR) bits to control the expanded-addressing operations.
There are nine addressing modes, permitting memory addresses to be computed from most of the useful combinations of the program counter
, register contents and/or a displacement of 12, 16, or 32 bits.
A simple procedure-time profiler estimates the time spent in each procedure by observing the program counter
at a regular interval (60 times a second on my system).
But lawyers representing nearly two dozen recipients of the Deferred Action for Childhood Arrivals program countered
by saying Texas sat back for six years and did nothing, and its attorneys have yet to prove the harm the state claims it has faced since the program was implemented in 2012.