{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:57:19Z","timestamp":1725512239152},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540708803"},{"type":"electronic","value":"9783540708810"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70881-0_25","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T20:07:32Z","timestamp":1186171652000},"page":"284-296","source":"Crossref","is-referenced-by-count":0,"title":["Preconditions for Structural Synthesis of Programs"],"prefix":"10.1007","author":[{"given":"Vahur","family":"Kotkas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","volume-title":"Collected Papers of Gerhard Gentzen","author":"M.E. Szabo","year":"1969","unstructured":"Szabo, M.E.: Collected Papers of Gerhard Gentzen. North-Holland, Amsterdam (1969)"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Green, C.C.: Application of theorem proving to problem solving. In: Proceedings IJCAI \u201969, pp. 219\u2013240 (1969)","DOI":"10.21236\/ADA459656"},{"key":"25_CR3","unstructured":"Waldinger, R.J.: Constructing programs automatically using theorem proving. Ph.D. Thesis, Carnegie-Mellon U., Pittsburgh, PA (1969)"},{"key":"25_CR4","first-page":"165","volume":"6","author":"M. Harf","year":"1980","unstructured":"Harf, M., Tyugu, E.: Algorithms of structured synthesis of programs. Programming and Computer Software\u00a06, 165\u2013175 (1980)","journal-title":"Programming and Computer Software"},{"key":"25_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1007\/3-540-11157-3_31","volume-title":"Algorithms in Modern Mathematics and Computer Science","author":"E. Tyugu","year":"1981","unstructured":"Tyugu, E.: The structural synthesis of programs. In: Knuth, D.E., Ershov, A.P. (eds.) Algorithms in Modern Mathematics and Computer Science. LNCS, vol.\u00a0122, pp. 290\u2013303. Springer, Heidelberg (1981)"},{"issue":"3","key":"25_CR6","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/0167-6423(83)90016-3","volume":"2","author":"G. Mints","year":"1982","unstructured":"Mints, G., Tyugu, E.: Justification of the Structural Synthesis of Programs. Science of Computer Programming\u00a02(3), 215\u2013240 (1982)","journal-title":"Science of Computer Programming"},{"key":"25_CR7","unstructured":"Mints, G.: Complexity of subclasses of the intuitionistic propositional calculus. Special issue: Selected Papers form Workshop on Programming Logic, B\u00e4stad, Sweden, May 21-26 (1989)"},{"key":"25_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1007\/3-540-54415-1_67","volume-title":"Theoretical Aspects of Computer Software","author":"M.I. Kanovich","year":"1991","unstructured":"Kanovich, M.I.: Efficient program synthesis: Semantics, logic, complexity. In: Ito, T., Meyer, A.R. (eds.) TACS 1991. LNCS, vol.\u00a0526, pp. 615\u2013632. Springer, Heidelberg (1991)"},{"key":"25_CR9","doi-asserted-by":"crossref","first-page":"125","DOI":"10.3233\/FI-1997-31203","volume":"31","author":"M. Matskin","year":"1997","unstructured":"Matskin, M., Komorowski, J.: Partial Structural Synthesis of Programs. Fundamenta Informaticae\u00a031, 125\u2013144 (1997)","journal-title":"Fundamenta Informaticae"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Tyugu, E.: On the border between functional programming and program synthesis. In: Proc. Estonian Acad. Sci. Engng., pp. 119\u2013129 (1998)","DOI":"10.3176\/eng.1998.2.04"},{"key":"25_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/3-540-45575-2_17","volume-title":"Perspectives of System Informatics","author":"M. Harf","year":"2001","unstructured":"Harf, M., et al.: Automated Program Synthesis for Java Programming Language. In: Bj\u00f8rner, D., Broy, M., Zamulin, A.V. (eds.) PSI 2001. LNCS, vol.\u00a02244, pp. 157\u2013164. Springer, Heidelberg (2001)"},{"key":"25_CR12","first-page":"1","volume":"20","author":"M. Matskin","year":"2001","unstructured":"Matskin, M., Tyugu, E.: Strategies of Strucutral Synthesis of Programs and Its Extensions. Computing and Informatics\u00a020, 1\u201325 (2001)","journal-title":"Computing and Informatics"},{"key":"25_CR13","first-page":"567","volume":"15","author":"V. Kotkas","year":"2002","unstructured":"Kotkas, V.: A distributed program synthesizer. Acta Cybernetica\u00a015, 567\u2013581 (2002)","journal-title":"Acta Cybernetica"},{"key":"25_CR14","unstructured":"L\u00e4mmermann, S.: Runtime service composition via logic-Based Program Synthesis. PhD Thesis. Royal Institute of Technology, Stockholm, Sweden. Technical Report TRITA-IT AVH 02:03 (2002)"},{"key":"25_CR15","unstructured":"Kotkas, V.: Synthesis of Distributed Programs. In: Proceedings of the Eighth Symposium on Programming Languages and Software Tools, Kuopio (2003)"},{"key":"25_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/978-3-540-45220-1_24","volume-title":"Computer Science Logic","author":"M. Kanovich","year":"2003","unstructured":"Kanovich, M., Vauzeilles, J.: Coping Polynomially with Numerous but Identical Elements within Planning Problems. In: Baaz, M., Makowsky, J.A. (eds.) CSL 2003. LNCS, vol.\u00a02803, pp. 285\u2013298. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Perspectives of Systems Informatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70881-0_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T17:46:33Z","timestamp":1683999993000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70881-0_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540708803","9783540708810"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70881-0_25","relation":{},"subject":[]}}