{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:49:58Z","timestamp":1725490198518},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665878"},{"type":"electronic","value":"9783540481195"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48119-2_31","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T21:23:00Z","timestamp":1188336180000},"page":"551-569","source":"Crossref","is-referenced-by-count":3,"title":["Applications of Structural Synthesis of Programs"],"prefix":"10.1007","author":[{"given":"Enn","family":"Tyugu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mihhail","family":"Matskin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaan","family":"Penjam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"key":"31_CR1","series-title":"Lecture Notes Computer Science","volume-title":"A Problem Suggestion for the Dagstuhl Meeting on Methods for Semantics and Specification","author":"J.-R. Abrial","year":"1997","unstructured":"Abrial, J.-R., B\u00f6rger, E., Langemaack, H.: The Stem-Boiler Control Specification Problem. A Problem Suggestion for the Dagstuhl Meeting on Methods for Semantics and Specification, Lecture Notes Computer Science Vol. 1165, Springer-Verlag, Berlin Heidelberg New York (1997)"},{"key":"31_CR2","series-title":"Lecture Notes Computer Science","volume-title":"Structural Synthesis of Programs from Refined User Requirements (Programming Boiler Control in NUT)","author":"M. Addibpour","year":"1997","unstructured":"Addibpour, M., Tyugu, E.: Structural Synthesis of Programs from Refined User Requirements (Programming Boiler Control in NUT). Lecture Notes Computer Science Vol. 1165, Springer-Verlag, Berlin Heidelberg New York (1997)"},{"key":"31_CR3","doi-asserted-by":"crossref","unstructured":"Blake, L.V.: A Guide to Basic Pulse-Radar Maximum-Range Calculation. Part 1. Equations, Definitions, and Aids to Calculation. Naval Research Laboratory Report 6930, AS 701 321 (1969)","DOI":"10.21236\/AD0701321"},{"issue":"6","key":"31_CR4","first-page":"955","volume":"11","author":"J. Chuang","year":"1993","unstructured":"Chuang, J.: Performance Issues and Algorithms for Dynamic Channel Assignment. IEEE Journal on Selected Areas in Communications, 11, 6 (1993) 955\u2013963","journal-title":"Performance Issues and Algorithms for Dynamic Channel Assignment"},{"key":"31_CR5","first-page":"203","volume":"52","author":"T. Coquand","year":"1994","unstructured":"Coquand, T., Nordstr\u00f6m, B., Smith, J.M.: Type Theory and Programming, Bulletin of the EATCS, Vol. 52 (1994) 203\u2013228","journal-title":"Type Theory and Programming"},{"issue":"1","key":"31_CR6","first-page":"32","volume":"1","author":"G. Grossschmidt","year":"1995","unstructured":"Grossschmidt, G., Pahapill, J.: Computing the Statics and Dynamics of Airplane Aileron Position Control Using the NUT Language. Proc. Estonian Acad. Sci. Engineering, 1, 1 (1995) 32\u201350","journal-title":"Computing the Statics and Dynamics of Airplane Aileron Position Control Using the NUT Language"},{"issue":"4","key":"31_CR7","first-page":"209","volume":"3","author":"G. Grossschmidt","year":"1998","unstructured":"Grossschmidt, G., Vanaveski, J.: Composing Multi-Pole-Model Block Schemes for a Load-Sensing Hydraulic Drive. Proc. Estonian Acad. Sci. Engineering, 3, 4 (1998) 209\u2013224","journal-title":"Composing Multi-Pole-Model Block Schemes for a Load-Sensing Hydraulic Drive"},{"key":"31_CR8","unstructured":"Kalja, A., Tiidemann, T.: A Conceptual Framework for Software Developing in Mechanical CAD. In Leinonen, T. (ed.): Proc. of OST-97 Symposium on Machine Design, Acta Univ. Oulu, C 109 (1997) 120\u2013128"},{"key":"31_CR9","unstructured":"Kalja, A., Tiidemann, T.: Supporting Mechanical Design with Visual Programming in the NUT Environment. In Leinonen, T. (ed.): Proc. of OST-98 Symposium on Machine Design, Acta Univ. Oulu, C 130 (1998) 163\u2013172"},{"key":"31_CR10","unstructured":"Kotkas, V.: Intelligent Software Tools for Data Communication Modeling. In: L\u00e1szl\u00e0 Varga (ed.): Proc. of the Fourth Symposium on Programming Languages and Software Tools, Department of General Computer Science, E\u00f6tv\u00f6s Lor\u00e1nd University, Budapest (dy1995) 279\u2013287"},{"key":"31_CR11","unstructured":"Kotkas, V., Harf, M., L\u00f5ugas, R., Kann, E.: Positions of Coastal Radars Around Tallinn Bay. Final Report on the Contract, Institute of Cybernetics, Tallinn, (1998)-in Estonian"},{"key":"31_CR12","series-title":"Lecture Notes Computer Science","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1007\/3-540-58495-1_33","volume-title":"Proc. 8th Int. Symp. on Methodologies for Intelligent Systems","author":"M. Lowry","year":"1994","unstructured":"Lowry, M., Philpot, A., Pressburger, T., Underwood, I.: Amphion: Automatic Programming for Scientific Subroutine Libraries. In Proc. 8th Int. Symp. on Methodologies for Intelligent Systems, Lecture Notes Computer Science Vol. 869, Springer-Verlag, Berlin Heidelberg New York (1994) 326\u2013335"},{"key":"31_CR13","first-page":"199","volume":"4","author":"M. Lowry","year":"1997","unstructured":"Lowry, M., van Baalen, J.: Meta-Amphion: Synthesis of Efficient Domain-Specific Program Synthesis Systems. Automated Software Engineering, 4 (1997)199\u2013241","journal-title":"Meta-Amphion: Synthesis of Efficient Domain-Specific Program Synthesis Systems"},{"key":"31_CR14","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 31 (1997) 125\u2013144","journal-title":"Fundamenta Informaticae"},{"key":"31_CR15","series-title":"Machine Intelligence","first-page":"17","volume-title":"Propositional Logic Programming","author":"G. Mints","year":"1991","unstructured":"Mints, G.: Propositional Logic Programming. In: J. Hayes et al. (eds.): Machine Intelligence, Vol. 12, Clarendon Press, Oxford (1991) 17\u201337"},{"key":"31_CR16","first-page":"315","volume":"1","author":"E. Tyugu","year":"1994","unstructured":"Tyugu, E.: Using Classes as Specifications for Automatic Construction of Programs in the NUT System. Automated Software Engineering, 1, (1994) 315\u2013334","journal-title":"Using Classes as Specifications for Automatic Construction of Programs in the NUT System"},{"key":"31_CR17","unstructured":"Uustalu, T., Kopra, U., Kotkas, V., Matskin, M., Tyugu, E.: The NUT Language Report. The Royal Institute of Technology (KTH), TRITA-IT R 94:14 (1994)"},{"key":"31_CR18","series-title":"NATO ASI Series F","first-page":"116","volume-title":"Constraint Programming","author":"T. Uustalu","year":"1994","unstructured":"Uustalu, T., Tyugu, E.: Higher-Order Functional Constraint Networks. In: Mayoh, B. et al.(eds.): Constraint Programming. NATO ASI Series F, Vol. 131, Springer-Verlag, Berlin Heidelberg New York (1994) 116\u2013139"},{"key":"31_CR19","unstructured":"Uuustalu, T.: Aspects of Structural Synthesis of Programs. The Royal Institute of Technology (KTH), TRITA-IT 95:09 (1995)"},{"key":"31_CR20","series-title":"Lecture Notes Computer Science","volume-title":"Proc. of the Conf. on Mathematics of Program Construction","author":"Y.V. Srinivas","year":"1995","unstructured":"Srinivas, Y.V., J\u00fcllig, R.: Specware: Formal Support for Composing Software. In Proc. of the Conf. on Mathematics of Program Construction, Lecture Notes Computer Science Vol. 947, Springer-Verlag, Berlin Heidelberg New York (1995)"},{"key":"31_CR21","series-title":"Lecture Notes Computer Science","volume-title":"Automated Deduction","author":"M. Stickel","year":"1994","unstructured":"Stickel, M., Waldinger, R., Lowry, M., Pressburger, T., Underwood, I.: Deductive Composition of Astronomical Software from Subroutine Libraries. In: Bundy A., (ed.): Automated Deduction, Lecture Notes Computer Science Vol. 814, Springer-Verlag, Berlin Heidelberg New York (1994)"},{"issue":"4","key":"31_CR22","first-page":"305","volume":"17","author":"V. Vlassov","year":"1998","unstructured":"Vlassov, V., Addibpour, M., Tyugu, E.: NUTS: a Distributed Object-Oriented Platform with High Level Communication Functions. Computers and Artificial Intelligence, 17, 4 (1998) 305\u2013335","journal-title":"NUTS: a Distributed Object-Oriented Platform with High Level Communication Functions"}],"container-title":["Lecture Notes in Computer Science","FM\u201999 \u2014 Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48119-2_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,26]],"date-time":"2020-04-26T01:28:17Z","timestamp":1587864497000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48119-2_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665878","9783540481195"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-48119-2_31","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}