{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T14:34:12Z","timestamp":1777646052645,"version":"3.51.4"},"reference-count":0,"publisher":"SAGE Publications","issue":"2","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Fundamenta Informaticae"],"published-print":{"date-parts":[[1997,8]]},"abstract":"<jats:p>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. Completeness and correctness of partial deduction in the framework of SSP are proven. Several tactics and stopping criteria are suggested.<\/jats:p>","DOI":"10.3233\/fi-1997-31203","type":"journal-article","created":{"date-parts":[[2019,12,2]],"date-time":"2019-12-02T21:13:57Z","timestamp":1575321237000},"page":"125-144","source":"Crossref","is-referenced-by-count":3,"title":["Partial Structural Synthesis of Programs"],"prefix":"10.1177","volume":"31","author":[{"given":"Mihhail","family":"Matskin","sequence":"first","affiliation":[{"name":"Department of Computer and Information Science, Norwegian University of Science and Technology, N-7033 Trondheim, Norway. {misha, janko}@idi.ntnu.no"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Komorowski","sequence":"additional","affiliation":[{"name":"Department of Computer and Information Science, Norwegian University of Science and Technology, N-7033 Trondheim, Norway. {misha, janko}@idi.ntnu.no"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[1997,1,1]]},"container-title":["Fundamenta Informaticae"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-1997-31203","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-1997-31203","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T06:34:10Z","timestamp":1777444450000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/FI-1997-31203"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1,1]]},"references-count":0,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1997,8]]}},"alternative-id":["10.3233\/FI-1997-31203"],"URL":"https:\/\/doi.org\/10.3233\/fi-1997-31203","relation":{},"ISSN":["0169-2968","1875-8681"],"issn-type":[{"value":"0169-2968","type":"print"},{"value":"1875-8681","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,1,1]]}}}