Synthesis and Optimization of Programs by Means of P-Functions

DOI10.1109/TC.1982.1675883zbMath0466.68011OpenAlexW2069697566MaRDI QIDQ3919059

André Thayse

Publication date: 1982

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tc.1982.1675883

zbMATH Keywords

transformation of programsalgorithmic state machinemicroprogrammed structures

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (2)

Efficient logic design of reliable control units. II ⋮ Efficient logic design of reliable control units. I

This page was built for publication: Synthesis and Optimization of Programs by Means of P-Functions