{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:24:47Z","timestamp":1725891887616},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540468431"},{"type":"electronic","value":"9783540468455"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11894100_6","type":"book-chapter","created":{"date-parts":[[2006,11,9]],"date-time":"2006-11-09T13:11:30Z","timestamp":1163077890000},"page":"168-190","source":"Crossref","is-referenced-by-count":0,"title":["Temporal Properties of Clean Programs Proven in Sparkle-T"],"prefix":"10.1007","author":[{"given":"M\u00e1t\u00e9","family":"Tejfel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zolt\u00e1n","family":"Horv\u00e1th","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tam\u00e1s","family":"Kozsik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"6_CR1","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/151646.151649","volume":"15","author":"M. Abadi","year":"1993","unstructured":"Abadi, M., Lamport, L.: Composing specifications. ACM Trans. Program. Lang. Syst.\u00a015(1), 73\u2013132 (1993)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/BFb0055438","volume-title":"Implementation of Functional Languages","author":"P. Achten","year":"1998","unstructured":"Achten, P., Plasmeijer, R.: Interactive Objects in Clean. In: Clack, C., Hammond, K., Davie, T. (eds.) IFL 1997. LNCS, vol.\u00a01467, pp. 304\u2013321. Springer, Heidelberg (1998)"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","first-page":"33","volume-title":"Implementation and Application of Functional Languages","author":"A. Butterfield","year":"2005","unstructured":"Butterfield, A.: Reasoning about I\/O and Exceptions. In: Grelck, C., Huch, F., Michaelson, G.J., Trinder, P. (eds.) IFL 2004. LNCS, vol.\u00a03474, pp. 33\u201348. Springer, Heidelberg (2005)"},{"key":"6_CR4","volume-title":"Parallel Program Design: a Foundation","author":"K.M. Chandy","year":"1989","unstructured":"Chandy, K.M., Misra, J.: Parallel Program Design: a Foundation. Addison-Wesley, Reading (1989)"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/3-540-49213-5_7","volume-title":"Compositionality: The Significant Difference","author":"M. Dam","year":"1998","unstructured":"Dam, M., Fredlund, L., Gurov, D.: Toward Parametric Verification of Open Distributed Systems. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol.\u00a01536, p. 150. Springer, Heidelberg (1998)"},{"key":"6_CR6","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall Inc., Englewood Cliffs (1976)"},{"key":"6_CR7","unstructured":"Daxkobler, K., Horv\u00e1th, Z., Kozsik, T.: A Prototype of CPPCC - Safe Functional Mobile Code in Clean. In: Proceedings of Implementation of Functional Languages 2002, Madrid, Spain, September 15\u201319, pp. 301\u2013310 (2002)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/3-540-44854-3_5","volume-title":"Implementation of Functional Languages","author":"M. Dowse","year":"2003","unstructured":"Dowse, M., Strong, G., Butterfield, A.: Proving Make Correct: I\/O Proofs in Haskell and Clean. In: Pe\u00f1a, R., Arts, T. (eds.) IFL 2002. LNCS, vol.\u00a02670, pp. 68\u201383. Springer, Heidelberg (2003)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11431664_11","volume-title":"Implementation and Application of Functional Languages","author":"M. Dowse","year":"2005","unstructured":"Dowse, M., Butterfield, A., van Eekelen, M., de Mol, M., Plasmeijer, R.: Towards Machine-Verified Proofs for I\/O. In: Grelck, C., Huch, F., Michaelson, G.J., Trinder, P. (eds.) IFL 2004. LNCS, vol.\u00a03474. Springer, Heidelberg (2005)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/11431664_11","volume-title":"Implementation and Application of Functional Languages","author":"M. Dowse","year":"2005","unstructured":"Dowse, M., Butterfield, A.: A Language for Reasoning about Concurrent Functional I\/O (Draft). In: Grelck, C., Huch, F., Michaelson, G.J., Trinder, P. (eds.) IFL 2004. LNCS, vol.\u00a03474, pp. 129\u2013141. Springer, Heidelberg (2005)"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/11431664_11","volume-title":"Implementation and Application of Functional Languages","author":"M. Dowse","year":"2005","unstructured":"Dowse, M., Butterfield, A., van Eekelen, M.: Reasoning About Deterministic Concurrent Functional I\/O. In: Grelck, C., Huch, F., Michaelson, G.J., Trinder, P. (eds.) IFL 2004. LNCS, vol.\u00a03474, pp. 177\u2013194. Springer, Heidelberg (2005)"},{"key":"6_CR12","unstructured":"Home of Clean, \n                  \n                    http:\/\/www.cs.kun.nl\/~clean\/"},{"key":"6_CR13","unstructured":"Horv\u00e1th, Z.: The Formal Specification of a Problem Solved by a Parallel Program\u2014a Relational Model. Annales Universitatis Scientiarum Budapestinensis de Rolando E\u00f6tv\u00f6s Nominatae, Sectio Computatorica, Tomus XVII, pp. 173\u2013191 (1998)"},{"key":"6_CR14","unstructured":"Horv\u00e1th, Z., Achten, P., Kozsik, T., Plasmeijer, R.: Proving the Temporal Properties of the Unique World. In: Proceedings of the Sixth Symposium on Programming Languages and Software Tools, Tallin, Estonia, pp. 113\u2013125 (August 1999)"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","first-page":"203","volume-title":"Implementation of Functional Languages","author":"Z. Horv\u00e1th","year":"2000","unstructured":"Horv\u00e1th, Z., Achten, P., Kozsik, T., Plasmeijer, R.: Verification of the Temporal Properties of Dynamic Clean Processes. In: Koopman, P., Clack, C. (eds.) IFL 1999. LNCS, vol.\u00a01868, pp. 203\u2013218. Springer, Heidelberg (2000)"},{"key":"6_CR16","unstructured":"Horv\u00e1th, Z., Kozsik, T., Tejfel, M.: Proving Invariants of Functional Programs. In: Proceedings of Eighth Symposium on Programming Languages and Software Tools, Kuopio, Finland, June 17\u201318, pp. 115\u2013126 (2003)"},{"key":"6_CR17","unstructured":"Horv\u00e1th, Z., Kozsik, T., Tejfel, M.: Verifying Invariants of Abstract Functional Objects - a case study. In: 6th International Conference on Applied Informatics, Eger, Hungary, January 7\u201331 (2004)"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","first-page":"315","volume-title":"Implementation of Functional Languages","author":"T. Kozsik","year":"2001","unstructured":"Kozsik, T., van Arkel, D., Plasmeijer, R.: Subtyping with Strengthening Type Invariants. In: Mohnen, M., Koopman, P. (eds.) IFL 2000. LNCS, vol.\u00a02011, pp. 315\u2013330. Springer, Heidelberg (2001)"},{"key":"6_CR19","unstructured":"Kozsik, T.: Reasoning with Sparkle: a case study. Technical Report, Faculty of Informatics, E\u00f6tv\u00f6s Lor\u00e1nd University, Budapest, Hungary"},{"key":"6_CR20","unstructured":"de Mol, M.: PhD thesis, Radboud University Nijmegen (in preparation)"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/3-540-46028-4_4","volume-title":"Implementation of Functional Languages","author":"M. Mol de","year":"2002","unstructured":"de Mol, M., van Eekelen, M., Plasmeijer, R.: Theorem Proving for Functional Programmers. In: Arts, T., Mohnen, M. (eds.) IFL 2002. LNCS, vol.\u00a02312, p. 55. Springer, Heidelberg (2002)"},{"key":"6_CR22","unstructured":"Peyton Jones, S., Hughes, J., et al.: Report on the Programming Language Haskell 98, A Non-strict, Purely Functional Language (February 1999)"},{"key":"6_CR23","unstructured":"Plasmeijer, R., van Eekelen, M.: Concurrent Clean Version 2.0 Language Report (2001), \n                  \n                    http:\/\/www.cs.kun.nl\/~clean\/Manuals\/manuals.html"},{"key":"6_CR24","first-page":"419","volume":"17","author":"M. Tejfel","year":"2005","unstructured":"Tejfel, M., Horv\u00e1th, Z., Kozsik, T.: Extending the Sparkle Core language with object abstraction. Acta Cybernetica\u00a017, 419\u2013445 (2005)","journal-title":"Acta Cybernetica"}],"container-title":["Lecture Notes in Computer Science","Central European Functional Programming School"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11894100_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:36:32Z","timestamp":1619508992000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11894100_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540468431","9783540468455"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11894100_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}