Abstract
The notion of partial deduction known from logic programming is defined in the framework of Structural Synthesis of Programs (SSP). Partial deduction for computability statements in SSP is defined....
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have