Synthesis and Optimization of Programs by Means of ::::P::::-Funktions

André Thayse. Synthesis and Optimization of Programs by Means of ::::P::::-Funktions. IEEE Transactions on Computers, 31(1):34-40, 1982.

Abstract

Abstract is missing.