Every concretizing transformation is aimed at improving the program given according to a given qualitative criterion (for example, memory, time or reliability).

Nov 11, 1991 · This paper focuses on the problem of program concretization by applying correctness-preserving transformations of annotated programs.

Program concretization is treated as a transformation of a given program solving a general problem into a variety of specialized versions solving certain ...

TRANSFORMATION APPROACH TO PROGRAM CONCRETIZATION. V. N. Kas'yanov. UDC 681.3. Program concretization is treated as a transformation of a given program solving ...

Transformational approach to program concretization · Contents. Theoretical Computer Science. Volume 90, Issue 1 · PREVIOUS ARTICLE. Analysis of program ...

Transformational Approach to Program Concretization · V. Kasyanov · Published in Theoretical Computer Science 1 November 1991 · Computer Science.

Victor N. Kasyanov. Transformational Approach to Program Concretization. Theoretical Computer Science, 90(1):37-46, 1991.

Aug 6, 2019 · In order to automatically infer the resource consumption of programs, analyzers track how data sizes change along program's execution.

We propose an automatic method to enforce trace proper- ties on programs. The programmer specifies the property separately from the program; a program ...

One advantage of our approach over solver paral- lelization approaches is that the concretization happens at a very high-level of abstraction, so the solver ...