Program Optimization Using Invariants
Guardado en:
| Publicado en: | IEEE Transactions on Software Engineering vol. 4, no. 5 (Sep 1978), p. 378 |
|---|---|
| Autor principal: | |
| Publicado: |
IEEE Computer Society
|
| Materias: | |
| Acceso en línea: | Citation/Abstract Full Text - PDF |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 195573393 | ||
| 003 | UK-CbPIL | ||
| 022 | |a 0098-5589 | ||
| 022 | |a 1939-3520 | ||
| 024 | 7 | |a 10.1109/TSE.1978.233858 |2 doi | |
| 035 | |a 195573393 | ||
| 045 | 2 | |b d19780901 |b d19780930 | |
| 084 | |a 00082783 | ||
| 084 | |a 17010 |2 nlm | ||
| 100 | 1 | |a Katz, S | |
| 245 | 1 | |a Program Optimization Using Invariants | |
| 260 | |b IEEE Computer Society |c Sep 1978 | ||
| 513 | |a PERIODICAL | ||
| 520 | 3 | |a Compilers to "optimize" the code produced from computer programs have been in use for many years. Optimization improves execution time of a program by changing or moving some of the statements and leaving the correctness of the program intact. All crucial relationships are maintained between the variables. Computations are tests are altered to reduce the time needed for computation. One technique of optimization imvolves various program transformations that are independent of the machine code. They can be applied to an intermediate-level program prior to machine code generation or directly to source-level programs. The user defines the acceptable input values for the program and the desired relationship between the input and output. "Invariant assertions" are then attached to prechosen points in the program. The correctness of the program with respect to its specifications is provided by these assertions. Figures. | |
| 653 | |a Software | ||
| 653 | |a Programs | ||
| 653 | |a Optimization | ||
| 653 | |a Mathematical models | ||
| 653 | |a Computer science | ||
| 653 | |a Computer programming | ||
| 653 | |a Computers | ||
| 653 | |a Semantics | ||
| 653 | |a Colleges & universities | ||
| 773 | 0 | |t IEEE Transactions on Software Engineering |g vol. 4, no. 5 (Sep 1978), p. 378 | |
| 786 | 0 | |d ProQuest |t ABI/INFORM Global | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/195573393/abstract/embedded/6A8EOT78XXH2IG52?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text - PDF |u https://www.proquest.com/docview/195573393/fulltextPDF/embedded/6A8EOT78XXH2IG52?source=fedsrch |