scholarly journals Improving Program Efficiency by Packing Instructions into Registers

2005 ◽  
Author(s):  
S. Hines ◽  
J. Green ◽  
G. Tyson ◽  
D. Whalley
Keyword(s):  
Program Efficiency

A few notes on simulating program efficiency

1986 ◽  
Vol 12 (4) ◽  
pp. 11-22
Author(s):  
Aleksander T. Kozlowski
Keyword(s):  
Program Efficiency

Evaluation Method of Loyalty Program Efficiency

2021 ◽  
Author(s):  
Anna I. Guseva ◽  
Elena Matrosova ◽  
Anna Tikhomirova
Keyword(s):  
Evaluation Method ◽  
Loyalty Program ◽  
Program Efficiency

High program efficiency of p-type floating gate in n-channel split-gate embedded flash memory

2008 ◽  
Vol 93 (21) ◽  
pp. 213503 ◽  
Author(s):  
Hung-Sheng Shih ◽  
Shang-Wei Fang ◽  
An-Chi Kang ◽  
Ya-Chin King ◽  
Chrong-Jung Lin
Keyword(s):  
Flash Memory ◽  
Floating Gate ◽  
Program Efficiency ◽  
P Type ◽  
Embedded Flash

Programs are predicates

1984 ◽  
Vol 312 (1522) ◽  
pp. 475-489 ◽  
Keyword(s):  
Computer Program ◽  
Programming Language ◽  
Whole Language ◽  
Input Output ◽  
Program Efficiency ◽  
Algebraic Properties ◽  
And Mathematics

A computer program is identified with the strongest predicate describing every relevant observation that can be made of the behaviour of a computer executing that program. A programming language is a subset of logical and mathematical notations, which is so restricted that products described in the language can be automatically implemented on a computer. The notations enjoy a number of elegant algebraic properties, which can be used for optimizing program efficiency. A specification is a predicate describing all permitted observations of a program, and it may be expressed with greatest clarity by taking advantage of the whole language of logic and mathematics. A program P meets its specification S iff =P=>S. The proof of this implication may use all the classical methods of mathematics and logic. These points are illustrated by design of a small language that includes assignments, conditionals, non-determinism, recursion, input, output, and concurrency.

Sign in / Sign up

Export Citation Format

Share Document