This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Synthesis and Optimization of Programs by Means of P-Functions
January 1982 (vol. 31 no. 1)
pp. 34-40
A. Thayse, Philips Research Laboratory
A program is defined as an indexed sequence of instructions; each of these instructions is formed by an interconnection of branching (or conditional) instructions (of the form if, then, else) followed by an interconnection of execution instructions (of the form do). A program is an efficient tool, allowing the digital system designer to describe the microprograms of discrete systems and to synthesize their control automaton. This paper deals with a method of transformation and of optimization of programs. The presented algorithm obtains, for any given program, an equivalent one with a minimum number of conditional vertices.
Index Terms:
transformation of programs, Algorithmic state machine, microprogrammed structures, optimization, P-functions, switching theory
Citation:
A. Thayse, "Synthesis and Optimization of Programs by Means of P-Functions," IEEE Transactions on Computers, vol. 31, no. 1, pp. 34-40, Jan. 1982, doi:10.1109/TC.1982.1675883
Usage of this product signifies your acceptance of the Terms of Use.