{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,8]],"date-time":"2023-02-08T13:27:38Z","timestamp":1675862858969},"reference-count":16,"publisher":"Hindawi Limited","license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Applied Computational Intelligence and Soft Computing"],"published-print":{"date-parts":[[2014]]},"abstract":"<jats:p>A new approach for programming that enables switching among contexts of commands during program execution is context-oriented programming (COP). This technique is more structured and modular than object-oriented and aspect-oriented programming and hence more flexible. For context-oriented programming, as implemented in COP languages such as ContextJ<jats:sup>*<\/jats:sup>and ContextL, this paper introduces accurate operational semantics. The language model of this paper uses Java concepts and is equipped with layer techniques for activation\/deactivation of layer contexts. This paper also presents a logical system for COP programs. This logic is necessary for the automation of testing, developing, and validating of partial correctness specifications for COP programs and is an extension of separation logic. A mathematical soundness proof for the logical system against the proposed operational semantics is presented in the paper.<\/jats:p>","DOI":"10.1155\/2014\/930186","type":"journal-article","created":{"date-parts":[[2014,12,29]],"date-time":"2014-12-29T16:06:17Z","timestamp":1419869177000},"page":"1-8","source":"Crossref","is-referenced-by-count":3,"title":["Testing Automation of Context-Oriented Programs Using Separation Logic"],"prefix":"10.1155","volume":"2014","author":[{"given":"Mohamed A.","family":"El-Zawawy","sequence":"first","affiliation":[{"name":"College of Computer and Information Sciences, Al Imam Mohammad Ibn Saud Islamic University (IMSIU), Riyadh 11432, Saudi Arabia"},{"name":"Department of Mathematics, Faculty of Science, Cairo University, Giza 12613, Egypt"}]}],"member":"98","reference":[{"key":"10","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2008.7.3.a4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/0096-05519500002-l"},{"key":"4","year":"2000"},{"key":"8","year":"2012"},{"key":"13","first-page":"14","volume-title":"BI as an assertion language for mutable data structures","year":"2001"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2003.07.005"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0167-4"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46428-X20"},{"key":"17","first-page":"25","volume-title":"A general axiom of assignment","year":"1982"},{"key":"6","series-title":"Lecture Notes in Computer Science","volume":"2772","year":"2003"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1101821.1101824"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/1180419217"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2006.03.001"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.598"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1146809.1146811"},{"issue":"2","key":"7","first-page":"2515","volume":"10","year":"2013","journal-title":"Life Science Journal"}],"container-title":["Applied Computational Intelligence and Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/downloads.hindawi.com\/journals\/acisc\/2014\/930186.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/acisc\/2014\/930186.xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/acisc\/2014\/930186.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,7,29]],"date-time":"2016-07-29T07:27:02Z","timestamp":1469777222000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.hindawi.com\/journals\/acisc\/2014\/930186\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"references-count":16,"alternative-id":["930186","930186"],"URL":"https:\/\/doi.org\/10.1155\/2014\/930186","relation":{},"ISSN":["1687-9724","1687-9732"],"issn-type":[{"value":"1687-9724","type":"print"},{"value":"1687-9732","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}