Sentence examples for program properties from inspiring English sources

Static analysis exploits techniques that parse program source code or bytecode, often traversing program paths to check some program properties.

In our approach, the static analysis queries the auditor about program properties, and uses abductive inference to minimize the number of queries needed.

We have shown that for certain program properties the interpretation can be suitably modified such that we can make the probability of unsound results very small.

Unlike other static software analysis approaches, it considers program properties and the execution context, i.e. the current state and input of a process.

The semantics of imperative programs is specified in a formal, implemented notation, the language OBJ; this makes the semantics highly rigorous yet simple, and provides support for the mechanical verification of program properties.

When transforming a program, we are interested in the program properties that must be maintained by the code transformation such that a structural code coverage of the original program by the test-data set is preserved to the transformed program.

Under a city abatement program, property taxes of about $4,000 per house will be phased in over eight years.

Under a smooth-running program, property owners pay less than what they save on their energy bills.

Under that program, property owners agree to pay for the costs in return for certain assurances that they will not be sued by the department for future cleanups.

Viacom, which owns MTV, Paramount Pictures and other cable and programming properties, said it gave BHC 45 days to choose between the two offers.

Cablevision Systems, a regional cable television operator based in New York, announced details yesterday of a plan to issue a new class of stock to track its fast-growing programming properties, which include Bravo and American Movie Classics.