{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,9]],"date-time":"2024-05-09T07:50:38Z","timestamp":1715241038301},"reference-count":21,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2006,12,1]],"date-time":"2006-12-01T00:00:00Z","timestamp":1164931200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,8,22]],"date-time":"2013-08-22T00:00:00Z","timestamp":1377129600000},"content-version":"vor","delay-in-days":2456,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2006,12]]},"DOI":"10.1016\/j.scico.2006.02.009","type":"journal-article","created":{"date-parts":[[2006,8,10]],"date-time":"2006-08-10T07:36:00Z","timestamp":1155195360000},"page":"321-374","source":"Crossref","is-referenced-by-count":32,"title":["MiniMAO1 : An imperative core language for studying aspect-oriented reasoning"],"prefix":"10.1016","volume":"63","author":[{"given":"Curtis","family":"Clifton","sequence":"first","affiliation":[]},{"given":"Gary T.","family":"Leavens","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.scico.2006.02.009_b1","series-title":"Monographs in Computer Science","article-title":"A theory of objects","author":"Abadi","year":"1996"},{"key":"10.1016\/j.scico.2006.02.009_b2","unstructured":"J. Aldrich, Open modules: A proposal for modular reasoning in aspect-oriented programming, 2004, in: [6], pp. 7\u201318"},{"key":"10.1016\/j.scico.2006.02.009_b3","series-title":"Proceedings of the 2004 International Conference on Concurrency Theory","first-page":"209","article-title":"\u03bcabc: A minimal aspect calculus","author":"Bruns","year":"2004"},{"key":"10.1016\/j.scico.2006.02.009_b4","series-title":"ECOOP \u201903 \u2014 Object-Oriented Programming European Conference","volume":"vol. 2743","year":"2003"},{"key":"10.1016\/j.scico.2006.02.009_b5","unstructured":"C. Clifton, A design discipline and language features for modular reasoning in aspect-oriented programs. Ph.D. Thesis, Iowa State University, 2005"},{"key":"10.1016\/j.scico.2006.02.009_b6","unstructured":"C. Clifton, R. L\u00e4mmel, and Leavens (Eds.), FOAL 2004 Proceedings: Foundations of Aspect-Oriented Languages Workshop at AOSD 2004, Iowa State University, Department of Computer Science, Lancaster, UK, 2004"},{"key":"10.1016\/j.scico.2006.02.009_b7","unstructured":"C. Clifton, G.T. Leavens, MiniMAO: Investigating the semantics of proceed, in: C. Clifton, R. L\u00e4mmel, G.T. Leavens (Eds.). FOAL 2005 Proceedings: Foundations of Aspect-Oriented Languages Workshop at AOSD 2005, Iowa State University, Dept. of Computer Science, Chicago, Illinois, USA, 2005, pp. 51\u201361"},{"key":"10.1016\/j.scico.2006.02.009_b8","series-title":"Proceedings of the 33th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-06)","first-page":"383","article-title":"Harmless advice","volume":"vol. 41","author":"Dantas","year":"2006"},{"key":"10.1016\/j.scico.2006.02.009_b9","series-title":"Reflection 2001","first-page":"170","article-title":"A formal definition of crosscuts","volume":"vol. 2192","author":"Douence","year":"2001"},{"key":"10.1016\/j.scico.2006.02.009_b10","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0304-3975(92)90014-7","article-title":"The revised report on the syntactic theories of sequential control and state","volume":"103","author":"Felleisen","year":"1992","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.scico.2006.02.009_b11","series-title":"Formal Syntax and Semantics of Java","first-page":"241","article-title":"A programmer\u2019s reduction semantics for classes and mixins","author":"Flatt","year":"1999"},{"key":"10.1016\/j.scico.2006.02.009_b12","series-title":"OOPSLA \u201999: Proceedings of the 14th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications","first-page":"132","article-title":"Featherweight Java: A minimal core calculus for Java and GJ","author":"Igarashi","year":"1999"},{"key":"10.1016\/j.scico.2006.02.009_b13","doi-asserted-by":"crossref","unstructured":"R. Jagadeesan, A. Jeffrey, J. Riely, A calculus of untyped aspect-oriented programs, 2003, in: [4], pp. 54\u201373","DOI":"10.1007\/978-3-540-45070-2_4"},{"key":"10.1016\/j.scico.2006.02.009_b14","unstructured":"R. Jagadeesan, A. Jeffrey, J. Riely, 2004, A typed calculus for aspect oriented programs, available from ftp:\/\/fpl.cs.depaul.edu\/pub\/rjagadeesan\/typedABL.pdf on February 1, 2004"},{"key":"10.1016\/j.scico.2006.02.009_b15","series-title":"ECOOP \u201901 \u2014 Object-Oriented Programming 15th European Conference, Budapest Hungary","first-page":"327","article-title":"An overview of AspectJ","volume":"vol. 2072","author":"Kiczales","year":"2001"},{"key":"10.1016\/j.scico.2006.02.009_b16","series-title":"ECOOP \u201997 \u2014 Object-Oriented Programming 11th European Conference","first-page":"220","article-title":"Aspect-oriented programming","volume":"vol. 1241","author":"Kiczales","year":"1997"},{"key":"10.1016\/j.scico.2006.02.009_b17","doi-asserted-by":"crossref","unstructured":"H. Masuhara, G. Kiczales, Modeling crosscutting in aspect-oriented mechanisms, 2003, in: [4], pp. 2\u201328","DOI":"10.1007\/978-3-540-45070-2_2"},{"key":"10.1016\/j.scico.2006.02.009_b18","unstructured":"G. Plotkin, A structural approach to operational semantics, Tech. Rep. DAIMI FN-19, Aarhus University, 1981"},{"key":"10.1016\/j.scico.2006.02.009_b19","series-title":"Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming","first-page":"127","article-title":"A theory of aspects","author":"Walker","year":"2003"},{"issue":"5","key":"10.1016\/j.scico.2006.02.009_b20","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1145\/1018203.1018208","article-title":"A semantics for advice and dynamic join points in aspect-oriented programming","volume":"26","author":"Wand","year":"2004","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1","key":"10.1016\/j.scico.2006.02.009_b21","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1006\/inco.1994.1093","article-title":"A syntactic approach to type soundness","volume":"115","author":"Wright","year":"1994","journal-title":"Information and Computation"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642306001249?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642306001249?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,1,14]],"date-time":"2019-01-14T06:24:46Z","timestamp":1547447086000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642306001249"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,12]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,12]]}},"alternative-id":["S0167642306001249"],"URL":"https:\/\/doi.org\/10.1016\/j.scico.2006.02.009","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[2006,12]]}}}