{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T20:19:21Z","timestamp":1694636361863},"reference-count":15,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[1984,1,1]],"date-time":"1984-01-01T00:00:00Z","timestamp":441763200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[1984,1]]},"DOI":"10.1109\/tse.1984.5010204","type":"journal-article","created":{"date-parts":[[2009,6,2]],"date-time":"2009-06-02T20:37:01Z","timestamp":1243975021000},"page":"100-116","source":"Crossref","is-referenced-by-count":3,"title":["Performance Improvement of Abstractions Through Context Dependent Transformations"],"prefix":"10.1109","volume":"SE-10","author":[{"given":"Farokh B.","family":"Bastani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/361598.361623"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/360881.360913"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1109\/TSE.1976.233836","article-title":"design and specification of the minimal subset of an operating system family","volume":"se 2","author":"parnas","year":"1976","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/359461.359483"},{"key":"ref14","first-page":"185","author":"schwartz","year":"1978","journal-title":"Current Trends in Programming Methodology vol IV?Data Structuring"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/359657.359667"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380110706"},{"key":"ref3","author":"dijkstra","year":"1976","journal-title":"A Discipline of Programming"},{"key":"ref6","author":"halstead","year":"1977","journal-title":"Elements of Software Science"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/359657.359666"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312816"},{"key":"ref7","author":"jensen","year":"1979","journal-title":"Software Engineering"},{"key":"ref2","first-page":"341","article-title":"the structure of the t.h.e. multiprogramming system","volume":"11","author":"dijkstra","year":"1968","journal-title":"Commun Ass Comput Mach"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1981.234516"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/800022.808322"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/5010187\/05010204.pdf?arnumber=5010204","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:54:31Z","timestamp":1638219271000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5010204\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,1]]},"references-count":15,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tse.1984.5010204","relation":{},"ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"subject":[],"published":{"date-parts":[[1984,1]]}}}