{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,16]],"date-time":"2025-05-16T04:08:17Z","timestamp":1747368497728,"version":"3.40.5"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,12,30]],"date-time":"2014-12-30T00:00:00Z","timestamp":1419897600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Comput Virol Hack Tech"],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1007\/s11416-014-0234-7","type":"journal-article","created":{"date-parts":[[2014,12,29]],"date-time":"2014-12-29T07:26:27Z","timestamp":1419837987000},"page":"165-171","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["An efficient thread partition policy for secure functional language"],"prefix":"10.1007","volume":"11","author":[{"given":"SunMoon","family":"Jo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kyungyong","family":"Chung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,12,30]]},"reference":[{"key":"234_CR1","doi-asserted-by":"crossref","unstructured":"Iannucci, R.A.: Parallel Machines: Parallel Machine Languages: The Emergence of Hybrid Dataflow Computer Architectures, p. 240, Kluwer Academic Publishers, Boston, MA (1990)","DOI":"10.1007\/978-1-4613-1543-8"},{"key":"234_CR2","unstructured":"Tevis, J.E.: Secure programming using a functional paradigm. In: Proceedings of the Illinois State Academy of Science Conference (2006)"},{"key":"234_CR3","doi-asserted-by":"publisher","unstructured":"Chang, W., Streiff, B., Lin, C.: Efficient and Extensible Security Enforcement using Dynamic Data Flow Analysis. In: ACM Conference on Computer and Communications Security, pp. 39\u201350. ACM,\u00a0New York, NY (2008). doi: 10.1145\/1455770.1455778","DOI":"10.1145\/1455770.1455778"},{"key":"234_CR4","doi-asserted-by":"crossref","unstructured":"Yip, A., Wang, X., Zeldovich, N., Kaashoek, M.: Improving application security with data flow assertions. In: ACM SIGOPS 22nd Symposium on Operating Systems Principles, ACM, London, pp. 291\u2013304 (2009)","DOI":"10.1145\/1629575.1629604"},{"key":"234_CR5","doi-asserted-by":"crossref","unstructured":"Manzino, C., Pardo, A.: A security types preserving compiler in Haskell. Programming languages. Lect. Notes Comput. Sci. 8771, 16\u201330 (2014)","DOI":"10.1007\/978-3-319-11863-5_2"},{"key":"234_CR6","doi-asserted-by":"crossref","unstructured":"Schauser, K.E., Culler, D.E., von Eicken, T.: Compiler-controlled multithreading for lenient parallel languages. In: 5th ACM Conference on Functional Programming Languages and Computer Architecture, LNCS, Vol. 523, pp. 50\u201372 (1991)","DOI":"10.1007\/3540543961_4"},{"issue":"9","key":"234_CR7","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1145\/583852.581488","volume":"37","author":"K Glynn","year":"2002","unstructured":"Glynn, K., Stuckey, P.J., Sulzmann, M., Sondergaard, H.: Exception analysis for non-strict languages. ACM SIGPLAN Not. 37(9), 98\u2013109 (2002)","journal-title":"ACM SIGPLAN Not."},{"key":"234_CR8","doi-asserted-by":"publisher","unstructured":"Park, R.C., Jung, H., Jo, S.M.: ABS scheduling technique for interference mitigation of M2M based medical WBAN service. Wireless Pers. Commun. (2014). doi: 10.1007\/s11277-014-2073-8","DOI":"10.1007\/s11277-014-2073-8"},{"key":"234_CR9","doi-asserted-by":"crossref","unstructured":"Robert, E., Jones, S.P.: Optimistic Evaluation: An Adaptive Evaluation Strategy for Non-Strict Programs. In: Proceedings of the ACM SIGPLAN International Conference on Functional Programming, pp. 287\u2013298. ACM Press (2003)","DOI":"10.1145\/944746.944731"},{"key":"234_CR10","doi-asserted-by":"crossref","unstructured":"Schauser, K.E., Culler, D.E., Goldstein, S.C.: Separation constraint partitioning\u2014a new algorithm for partitioning non-strict programs into sequential threads. In: 21th ACM Symposium on Principles of Programming Language, pp. 259\u2013271 (1995)","DOI":"10.1145\/199448.199511"},{"issue":"6","key":"234_CR11","doi-asserted-by":"crossref","first-page":"1291","DOI":"10.1007\/s00779-013-0743-2","volume":"18","author":"KY Chung","year":"2014","unstructured":"Chung, K.Y.: Recent trends on convergence and ubiquitous computing. Pers. Ubiquitous Comput. 18(6), 1291\u20131293 (2014)","journal-title":"Pers. Ubiquitous Comput."},{"key":"234_CR12","first-page":"76","volume":"3","author":"L Domoszlai","year":"2011","unstructured":"Domoszlai, L., Bru\u00ebl, E., Jansen, J.M.: Implementing a non-strict purely functional language in JavaScript. Acta Univ. Sapientiae 3, 76\u201398 (2011)","journal-title":"Acta Univ. Sapientiae"},{"issue":"2","key":"234_CR13","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/s11416-014-0213-z","volume":"10","author":"SY Oh","year":"2014","unstructured":"Oh, S.Y., Ghose, S., Jang, H.J., Chung, K.: Recent trends in mobile communication systems. Int. J. Comput. Virol. Hack. 10(2), 67\u201370 (2014)","journal-title":"Int. J. Comput. Virol. Hack."},{"issue":"2","key":"234_CR14","doi-asserted-by":"crossref","first-page":"873","DOI":"10.1007\/s11042-011-0919-6","volume":"71","author":"JH Kim","year":"2014","unstructured":"Kim, J.H., Chung, K.Y.: Ontology-based healthcare context information model to implement ubiquitous environment. Multimed. Tools Appl. 71(2), 873\u2013888 (2014)","journal-title":"Multimed. Tools Appl."},{"key":"234_CR15","doi-asserted-by":"crossref","unstructured":"Chung, K., Boutaba, R., Hariri, S.: Recent trends in digital convergence information system. Wirel. Pers. Commun. 79(4), 2409\u20132413 (2014)","DOI":"10.1007\/s11277-014-2182-4"},{"key":"234_CR16","doi-asserted-by":"crossref","unstructured":"Jung, H., Chung, K.Y.: Mining based associative image filtering using harmonic mean. Clust. Comput. 17(3), 767\u2013774 (2014)","DOI":"10.1007\/s10586-013-0318-z"},{"key":"234_CR17","unstructured":"Ha, S., Han, S., Kim, H.: Partitioning a lenient parallel language into sequential threads. In: Proceedings of the 28th Hawaii International Conference on System Sciences, Vol. 2, pp. 83\u201392 (1995)"},{"key":"234_CR18","doi-asserted-by":"crossref","unstructured":"Hoch, J.E., Davenport, D.M., Grafe, V.G., Steele, K.M.: Compile-time partitioning of a nonstrict language into sequential threads. In: Proceedings of 3rd IEEE Symposium on Parallel and Distributed Processing, pp. 180\u2013189 (1991)","DOI":"10.1109\/SPDP.1991.218281"},{"key":"234_CR19","doi-asserted-by":"crossref","unstructured":"Xinan, T.: Thread Partitioning and Scheduling Based on Cost Model. In: Proceedings of the Ninth Annual ACM Symposium on Parallel Algorithms and Architectures, pp. 272\u2013281 (1997)","DOI":"10.1145\/258492.258519"},{"issue":"3","key":"234_CR20","doi-asserted-by":"crossref","first-page":"723","DOI":"10.1007\/s10586-014-0349-0","volume":"17","author":"R Boutaba","year":"2014","unstructured":"Boutaba, R., Chung, K.Y., Gen, M.: Recent trends in interactive multimedia computing for industry. Cluster Comput. 17(3), 723\u2013726 (2014)","journal-title":"Cluster Comput."},{"key":"234_CR21","doi-asserted-by":"crossref","unstructured":"Kim, J.H., Ryu, J.K.: Recent trends on high-performance computing and security. Clust. Comput. 16(2), 207\u2013208 (2013)","DOI":"10.1007\/s10586-013-0271-x"},{"issue":"4","key":"234_CR22","doi-asserted-by":"crossref","first-page":"598","DOI":"10.1145\/69558.69562","volume":"11","author":"ARS Nikhil","year":"1989","unstructured":"Nikhil, A.R.S., Pingali, K.K.: I-Structures: data structures for parallel computing. ACM Trans. Program. Lang. Syst. 11(4), 598\u2013632 (1989)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"234_CR23","unstructured":"Jan, C.: Investigating Minimally Strict Functions in Functional Programming. Doctoral Dissertation, Kiel, Christian-Albrechts-Universitat (2011)"},{"key":"234_CR24","unstructured":"Thompson, S.: Haskell: The Craft of Functional Programming, International Computer Science Series, 3rd edn. Addison Wesley Publishing Company (2011)"},{"key":"234_CR25","doi-asserted-by":"crossref","unstructured":"Traub, K.R.: Culler, D.E., Schauser, K.E.: Global analysis for partitioning non-strict programs into sequential threads. In: Conference on Lisp and Functional Programming, pp. 324\u2013334 (1992)","DOI":"10.1145\/141478.141568"}],"container-title":["Journal of Computer Virology and Hacking Techniques"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11416-014-0234-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11416-014-0234-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11416-014-0234-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,15]],"date-time":"2025-05-15T15:55:51Z","timestamp":1747324551000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11416-014-0234-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12,30]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,8]]}},"alternative-id":["234"],"URL":"https:\/\/doi.org\/10.1007\/s11416-014-0234-7","relation":{},"ISSN":["2263-8733"],"issn-type":[{"type":"electronic","value":"2263-8733"}],"subject":[],"published":{"date-parts":[[2014,12,30]]}}}