The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.06 - June (1989 vol.38)
pp: 880-881
ABSTRACT
Although the P-functions of the original paper are an aesthetically pleasing method for optimizing binary decision programs, existing procedures are probably more efficient. Current research applying Prolog to the automatic design of microprograms is outlined.
INDEX TERMS
gorithmic state machine; state machine design; automatic theorem proving; P-functions; binary decision programs; Prolog; automatic design; microprograms; decision tables; microprogramming; PROLOG; theorem proving.
CITATION
L. Vroomen, P. Zsombor-Murray, P. Baracos, R. Hudson, "Comments on 'Algorithmic State Machine Design and Automatic Theorem Proving: Dual Approaches to the Same Activity'", IEEE Transactions on Computers, vol.38, no. 6, pp. 880-881, June 1989, doi:10.1109/12.24299
26 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool