CINXE.COM

<!DOCTYPE html><html lang="en-US"><head><title>Just a moment...</title><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><meta http-equiv="X-UA-Compatible" content="IE=Edge"><meta name="robots" content="noindex,nofollow"><meta name="viewport" content="width=device-width,initial-scale=1"><style>*{box-sizing:border-box;margin:0;padding:0}html{line-height:1.15;-webkit-text-size-adjust:100%;color:#313131;font-family:system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,Noto Sans,sans-serif,Apple Color Emoji,Segoe UI Emoji,Segoe UI Symbol,Noto Color Emoji}body{display:flex;flex-direction:column;height:100vh;min-height:100vh}.main-content{margin:8rem auto;max-width:60rem;padding-left:1.5rem}@media (width <= 720px){.main-content{margin-top:4rem}}.h2{font-size:1.5rem;font-weight:500;line-height:2.25rem}@media (width <= 720px){.h2{font-size:1.25rem;line-height:1.5rem}}#challenge-error-text{background-image:url(data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIzMiIgaGVpZ2h0PSIzMiIgZmlsbD0ibm9uZSI+PHBhdGggZmlsbD0iI0IyMEYwMyIgZD0iTTE2IDNhMTMgMTMgMCAxIDAgMTMgMTNBMTMuMDE1IDEzLjAxNSAwIDAgMCAxNiAzbTAgMjRhMTEgMTEgMCAxIDEgMTEtMTEgMTEuMDEgMTEuMDEgMCAwIDEtMTEgMTEiLz48cGF0aCBmaWxsPSIjQjIwRjAzIiBkPSJNMTcuMDM4IDE4LjYxNUgxNC44N0wxNC41NjMgOS41aDIuNzgzem0tMS4wODQgMS40MjdxLjY2IDAgMS4wNTcuMzg4LjQwNy4zODkuNDA3Ljk5NCAwIC41OTYtLjQwNy45ODQtLjM5Ny4zOS0xLjA1Ny4zODktLjY1IDAtMS4wNTYtLjM4OS0uMzk4LS4zODktLjM5OC0uOTg0IDAtLjU5Ny4zOTgtLjk4NS40MDYtLjM5NyAxLjA1Ni0uMzk3Ii8+PC9zdmc+);background-repeat:no-repeat;background-size:contain;padding-left:34px}@media (prefers-color-scheme:dark){body{background-color:#222;color:#d9d9d9}}</style><meta http-equiv="refresh" content="120"></head><body class="no-js"><div class="main-wrapper" role="main"><div class="main-content"><noscript><div class="h2"><span id="challenge-error-text">Enable JavaScript and cookies to continue</span></div></noscript></div></div><script>(function(){window._cf_chl_opt={cvId: '3',cZone: "publications.waset.org",cType: 'non-interactive',cRay: '9136a7f688bd3e49',cH: 'i7lpEcnLajAnCc3ehSoPjREpPCZ6hBqKjBvpRq3.GC0-1739804522-1.2.1.1-dB.omEWl6xdwwTdS5iTgTIFKT9HN7qOB7zAu65HouQaUKuQuqxT6zt5zoTFIJwQg',cUPMDTk: "\/abstracts\/search?q=code%20properties&__cf_chl_tk=LTZANuERL_6S07O4JffV6yIRz3kHGwF4Qc2VFu65_ZY-1739804522-1.0.1.1-p4.0WxJNGGs9q8ixulHfaoLV_O.o1cza0ii1IzsKYbA",cFPWv: 'b',cITimeS: '1739804522',cTTimeMs: '1000',cMTimeMs: '120000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "",fa: "\/abstracts\/search?q=code%20properties&__cf_chl_f_tk=LTZANuERL_6S07O4JffV6yIRz3kHGwF4Qc2VFu65_ZY-1739804522-1.0.1.1-p4.0WxJNGGs9q8ixulHfaoLV_O.o1cza0ii1IzsKYbA",md: "14XR7oslXjAwyRYYnO0y23R977.xpaRVRAfbrgWJBgg-1739804522-1.2.1.1-81WGZuWuTODbJY2Hduuz9R70cAYGpZHtpWnEXcIJX8euKV6JW.uOh.kV0FDHGiMnQFZ_X9RJBoxlPI_PCFGHftOF.xTHchKzU_sO7HEwjOfP8OFgBdNDrIUyXnzR6zNRNWfH8Vefe5Uxbz5AFq_U77yDxWWSByYNlOS1u2nwjBNJ7kRx1uhiQElmbwz44IwL5D93N091me8JhBpmZeskE0d1pnrx3zZS6pjUJTstyneG3XiAjBk1yjBQcy4U2mkC9OFffHHdwegCpNtkMCZQEc50DPhwn.WrjLo1J4o52hmL6ZtBPeNqzE6gLmRxwCaz6yEglrPgTI36JWg87XOIBvbYFuQFJzg8XlH9AapmNRr2dppjJwjgyY4p0ImMDUB0IOaqhf25PgG3N0.m2kvX97VWZZmyBpzZm.q_7caKaBhMTO_3JbrFDGW86Y4lo9OaG34wRvD5HALspoNtgPeMGjG1G_MGGqpAVD7YogwakFb28CeEcTeMuqgNJg25u5W6h3rGbr3ByPf_b2PlKOyZAlPvIk8F2EYzAnmvxVOhPs_4OdGGvOR6UC44lLm5PFdyAl0vK9qtwR72mTF0HrbCri76wdnH0Z5FTRsZ5r9W5KNhNBfilkevO9g0PY0jqgp9tYf4T.uJZ9JMwku5br2fiQb5qD3U9KYqOYrWyjd_4kaqifePlTdkZoKwpTbBt1Hg67CrMpPzTQK_AiB6.7Aevf1MiILUFZ8nxyYj6ZiuTZqTZdKuVLeIrK4eheWW9QfFXjqlzNcTNOeFsOKHLx4sp8Gg_FRn74UuiL5IuU6BNxsS_Q4N8Q67fICSI8V88LebbH0huReBUumSsL02hcaVlB3Ukw_.Kqtm4qYTvJ7N73zkkjsd6GBkowz5h883ttyF7mOTWkC.EFn0Aw.djQUUjG4ByGAUI7Ab9FQCnuWeP1JaRjMAgd_17hRlnu7bEpcKyxFDGWY9FV7sh_XfOhpSl7kL7wrj37tNizgC6wLdXonxEAc.Y6iDRnmiz0k9Iyf2X5CScHBnMq7nfrR8poi85QzpUFgebZF_mLHoOj1k2BD9bTbwOee3B7EX3qeobF0r3p4YLmb.XNLDR63ZelxPHtkR4PP8y6zPkvHvpUr5RzSfNUOLh3s8bZ41o6KgM4s8jQqIw4x8eDSW8raRC2NVj8QQi2fnTjq8DiDupP7gcERT6xtPWP.I1FGhy5RG4WEUXqW0v26XRtC.O5CTkQGpP0LFuw2Nxt_P_6zDip8huyks8j77GeiIqCjoUcYEoriSo3GEGSnJigi8Bz4AipE0YKK4WLk3ozj2jJAoqALqp.19E.YtMbyPv.aO4o9G76Kh82O4LfqE0ACc.d7Era7vb6qvMMfmNzukX07dwxM4TH7Fu0Q8Lj5MO3Klp7U8iqI5IbZQDZZbKLD9ndOdMgb15mG6KYIOIBIxeIdUX3iTN5U4teJCrSxJVZyc7aplHvVIZkqZu5EXLDj6AOtBAhrZXgm3JUS.SQd_vWRv3bFEla0ev9FgGrQRQ81wbfzFCMdQ1W.bDq3OFrCgogRvnu9gVHFLMvpNyjHNcIGSgnZ.q5c0P7HpM0z3Ar7wenUF0NiLN9wCY2yxag8B1V8vBBfQviaJMhe1MDEHGmPGlVw84akl9wOBeu_zhaxkQO5pKWSKoYmEk0AfOqaMmJzzGtn6gqdSmHJJaMU29R1cTIhTKXJOqCLVHGAMv5fh5ZFVrEfu_Sl4U1IDrCcJIWNSmS.cBEL4gOUT0gdN475yGhj37AcbhJYL2q0nOX4AHQJ_SK0mH7J6Q6UqAid7eiFnKpKWUrszKsAT7EEy6BL0uoJ8N79MqP8fxe4LvfXTaCCeV3yVfv4gBTb3CTVKMuZH5Wc1ejMs4znLkUsbIMLS_..gyzu3u9UrDh4Um5hZlitcESXbwbsBsLPczJBlsPKKQscSOjh.DHT6k9bL.8zZ04u1BYM",mdrd: "fDgTumq2eEv0DMGZzeil5AUgwfqF99bTGSIJGjNLyT8-1739804522-1.2.1.1-yRcLVYOoxbzCV8nOJD57VeptXv2essV_ns_rSxaaaj60xaZ3V3fta5fg55G_KIydI4pX1zxGr4zCBKm1TtvSrp3wn1q.IMveFace5z6SlxJM6Jurs7CmqQPALjk1_4AZZWsTDwUgBPgeuRTE765fnqCTEgPCUvUnD3NVuVhKE.XXKEczrMJBSbxg8YLnK0d81I20NoM6IqKlOqk5y4W8eYrPuu6qOvl393Ftaz3vSv005i3nKDZulps4bKSrkij5JtpI6IQ6rsne5IgH0Tlp7iNgOim9KrJTPUEbnRlKl6RdVOwDNgbO.O4cAgcmoiJSufkH5VV4hOx35cTpfErF_TTsK84F35GbnE4DA4fPktNhTEzDYhc_4HdI9gWt0vxc.Kk1tb5rQn2pBhU9VOyNvDxkNSxh5zejfNwaSnTy1Th9CxRfmHG0SsREmlRIVXjeK41qgztYDF8pO4jwEjCT5vCfed6Lx7DrxwjFlJOvT9wzYvcrD9j65ikjDqKiUUX1uyvXdTV9Pi41mvxzSWDnQT1W9ZunidUkEqOgWYIyaeJu6.NRryiJzu.9_p7womffjp_I40Fz.lm.hql27p7KVHuhfQecA1Nm9YGnTFdbb2THIeJ9SsZ8gtXhw2T2hcgFvuFdbBZV5QLribt_K9AOUL7xBDdmWgzF4AHMxwjImp5LLIoWGZeFOa5qC2vITJU8WLVvjjUihKd.Vxu0Xv9X1mTdtaLqDRp2hG43W2zCf9.rpviiGd.SDd2OJnMw0zNX.KR2cWVM.63UdRKDq9LNbg2BTxZW5Ix94f49_2Ynn7xa2Ad.Kebns7m5iBHhrpo0zQWbFjsqNKnUe9EVD0LoNorNXdXVyP0ED2fHP34W7ae42RupgLRDtvK7UHFfgO0mvJSsgwlo1o_MZJ42NF9ItG7ZzJp0p4C7zfS3xJb6YmwHJPpaqJnLTHzjYe2zR6fQuaZOEyG41B1ChWDmAmCdeum7ebB._H0.HfAposUoxkqEWIts1jrWXS91HZYdL10qeMclWWqowW8aBo5tbk0MpphFbu7CCL5xBL_glsr6rYe7tEImO3gciH4U4qjhLrqGBGB7gQ_8G.uLucC77cW9Er3OBFm2VVotjmshV_YtTyy9M6ALkmxVEGiUvPyLGOTNULD_7Y8ce9I9w2Wuzz7XZFrB0k_oWDqhIuu6r4NAQu3_q1aFV7mrhzJx8yTglcMKK.DS5BVkmLUT26Qvagd8WzcQW3dmhuqMVcKgC5AkhJJ2SMOzMbEZu66p_fRyNezLGFpUTSKCdfliNL4ERb6lAwjgH9l.a4DD4ZeCXdbgXVLXmvsa6Ow2dZhXze14nft1FShxR06QayD6l8Pbhd9vV.4y0fJgXcFcAnW1wsHdIoX5qpVrsHC6EepQJebqQVhe2e1QSp8nxel8qqBRl9uf0oTA1h.Bu4K_N074BGDcfJsCnbmx8LJo1H_zVfXGzYgM5ObqgzzTyrEkNKmMJ8SbmCN5PPxFrkJfbce16hKzGmV60tjcm9fDp8GE_A6bmN8tMML2F1JGKnhUynfKRz5rWPYl5gNp1E1NcQOOAVoO7R4WOlHv2hEWPz0TrI6ZsTDE3hMWypEd0wUivtv5kW9Uwz83VH8c3MqpjvEF0Y55j0_emq8Oj2qdeQKQAyUDnrXNHxrcDxIMZxMopNHvdQ6ZUdvmczRhvsyq0Mvc0IJ6pDfCyThStnv5mBPtigo1D_V.CCG3SBWV9NnaxI9oQSOtmpp4BlmYs4geULsjvRoQEWpTJlPGMAPOHT38xZxoI4_XrdbGhNopizU7e0hmUbd4_kZEbE9FynjRhy9pWZGKg1IeE_4bZnTwMJ3vcLR3mmwIVYMCTbK61OnvI5H8JMnw9iVa7e74TZQ6zGrVmlgdcSqjlnhSgOimtXrhltBivirYmTHmKTV2pxSWlxbw94OxEl1vnvPHu_3fgKSfpsvN0rmQWXR8g3Wru1s8vL.j4CrX"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=9136a7f688bd3e49';window._cf_chl_opt.cOgUHash = location.hash === '' && location.href.indexOf('#') !== -1 ? '#' : location.hash;window._cf_chl_opt.cOgUQuery = location.search === '' && location.href.slice(0, location.href.length - window._cf_chl_opt.cOgUHash.length).indexOf('?') !== -1 ? '?' : location.search;if (window.history && window.history.replaceState) {var ogU = location.pathname + window._cf_chl_opt.cOgUQuery + window._cf_chl_opt.cOgUHash;history.replaceState(null, null, "\/abstracts\/search?q=code%20properties&__cf_chl_rt_tk=LTZANuERL_6S07O4JffV6yIRz3kHGwF4Qc2VFu65_ZY-1739804522-1.0.1.1-p4.0WxJNGGs9q8ixulHfaoLV_O.o1cza0ii1IzsKYbA" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>