{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:05:21Z","timestamp":1725559521661},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540266556"},{"type":"electronic","value":"9783540316831"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11506676_13","type":"book-chapter","created":{"date-parts":[[2010,7,18]],"date-time":"2010-07-18T16:07:52Z","timestamp":1279469272000},"page":"198-214","source":"Crossref","is-referenced-by-count":0,"title":["Constructive Specifications for Compositional Units"],"prefix":"10.1007","author":[{"given":"Kung-Kiu","family":"Lau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Momigliano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Ornaghi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)90200-3","volume":"122","author":"A. Bossi","year":"1994","unstructured":"Bossi, A., Gabbrielli, M., Levi, G., Meo, M.C.: A compositional semantics for logic programs. Theoretical Computer Science\u00a0122, 3\u201347 (1994)","journal-title":"Theoretical Computer Science"},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1016\/0743-1066(94)90032-9","volume":"19","author":"M. Bugliesi","year":"1994","unstructured":"Bugliesi, M., Lamma, E., Mello, P.: Modularity in logic programming. J. Logic Programming\u00a019-20, 443\u2013502 (1994); Special issue: Ten years of logic programming","journal-title":"J. Logic Programming"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/3-540-45449-7_11","volume-title":"Embedded Software","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.: Interface Theories for Component-based Design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 148\u2013165. Springer, Heidelberg (2001)"},{"issue":"3","key":"13_CR4","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1145\/65979.65983","volume":"11","author":"S.K. Debray","year":"1989","unstructured":"Debray, S.K.: Static Inference of Modes and Data Dependencies in Logic Programs. ACM Transactions on Programming Languages and Systems\u00a011(3), 418\u2013450 (1989)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"13_CR5","volume-title":"Logic Programming. Systematic Program Development","author":"Y. Deville","year":"1990","unstructured":"Deville, Y.: Logic Programming. Systematic Program Development. Addison-Wesley, Reading (1990)"},{"key":"13_CR6","volume-title":"Objects, Components, and Frameworks with UML: The Catalysis Approach","author":"D.F. D\u2019Souza","year":"1999","unstructured":"D\u2019Souza, D.F., Wills, A.C.: Objects, Components, and Frameworks with UML: The Catalysis Approach. Addison-Wesley, Reading (1999)"},{"key":"13_CR7","volume-title":"Fundamentals of Algebraic Specification 2","author":"H. Ehrig","year":"1989","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 2. Springer, Heidelberg (1989)"},{"key":"13_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-2704-5","volume-title":"Larch: Languages and Tools for Formal Specification","author":"J.V. Guttag","year":"1993","unstructured":"Guttag, J.V., Horning, J.J.: Larch: Languages and Tools for Formal Specification. Springer, Heidelberg (1993)"},{"issue":"2","key":"13_CR9","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1006\/inco.1994.1036","volume":"110","author":"J. Hodas","year":"1994","unstructured":"Hodas, J., Miller, D.: Logic Programming in a Fragment of Intuitionistic Linear Logic. Information and Computation\u00a0110(2), 327\u2013365 (1994)","journal-title":"Information and Computation"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-25951-0_1","volume-title":"Program Development in Computational Logic","author":"K.-K. Lau","year":"2004","unstructured":"Lau, K.-K., Ornaghi, M.: Specifying Compositional Units for Correct Program Development in Computational Logic. In: Bruynooghe, M., Lau, K.-K. (eds.) Program Development in Computational Logic. LNCS, vol.\u00a03049, pp. 1\u201329. Springer, Heidelberg (2004)"},{"issue":"3","key":"13_CR11","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/S0743-1066(98)10023-7","volume":"38","author":"K.-K. Lau","year":"1999","unstructured":"Lau, K.-K., Ornaghi, M., T\u00e4rnlund, S.-\u00c5.: Steadfast logic programs. J. Logic Programming\u00a038(3), 259\u2013294 (1999)","journal-title":"J. Logic Programming"},{"key":"13_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)","edition":"2"},{"issue":"1","key":"13_CR13","doi-asserted-by":"crossref","first-page":"151","DOI":"10.3233\/FI-1981-4108","volume":"4","author":"P. Miglioli","year":"1981","unstructured":"Miglioli, P., Ornaghi, M.: A logically justified model of computation I, II. Fundamenta Informaticae\u00a04(1), 151\u2013172, 4(2), 277\u2013342 (1981)","journal-title":"Fundamenta Informaticae"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Miglioli, P., Moscato, U., Ornaghi, M.: Constructive theories with abstract data types for program synthesis. In: Skordev, D.G. (ed.) Mathematical Logic and its Applications, pp. 293\u2013302. Plenum Press (1987)","DOI":"10.1007\/978-1-4613-0897-3_21"},{"issue":"1","key":"13_CR15","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1305\/ndjfl\/1093634996","volume":"30","author":"P. Miglioli","year":"1989","unstructured":"Miglioli, P., Moscato, U., Ornaghi, M., Usberti, G.: A Constructivism based on classical truth. Notre Dame Journal of Formal Logic\u00a030(1), 67\u201390 (1989)","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1-2","key":"13_CR16","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0743-1066(89)90031-9","volume":"6","author":"D. Miller","year":"1989","unstructured":"Miller, D.: A logical analysis of modules in logic programming. JLP\u00a06(1-2), 79\u2013108 (1989)","journal-title":"JLP"},{"key":"13_CR17","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"2002","unstructured":"Szyperski, C., Gruntz, D., Murer, S.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley, Reading (2002)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Logic Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11506676_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,31]],"date-time":"2021-10-31T18:50:47Z","timestamp":1635706247000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11506676_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540266556","9783540316831"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11506676_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}