{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,15]],"date-time":"2023-10-15T18:32:32Z","timestamp":1697394752191},"reference-count":29,"publisher":"World Scientific Pub Co Pte Lt","issue":"02","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2001,4]]},"abstract":" An approach for systematically modifying the semantics of programming languages by semantics modifiers is described. Semantics modifiers are a class of programs that allow the development of general and reusable \"semantics components\". Language independence is achieved through the interpretive approach: an interpreter serves as a mediator between the new language and the language for which the non-standard semantics was implemented. Inverse computation, equivalence transformation and neighborhood analysis are shown to be semantics modifiers. Experiments with these modifiers show the computational feasibility of this approach. Seven modifier projections are given which allow the efficient implementation of non-standard interpreters and non-standard compilers by program specialization or other powerful program transformation methods. <\/jats:p>","DOI":"10.1142\/s0129054101000448","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T11:00:37Z","timestamp":1027767637000},"page":"171-211","source":"Crossref","is-referenced-by-count":7,"title":["FROM STANDARD TO NON-STANDARD SEMANTICS BY SEMANTICS MODIFIERS"],"prefix":"10.1142","volume":"12","author":[{"given":"SERGEI","family":"ABRAMOV","sequence":"first","affiliation":[{"name":"Program Systems Institute, Russian Academy of Sciences, RU-152140 Pereslavl-Zalessky, Russia"}]},{"given":"ROBERT","family":"GL\u00dcCK","sequence":"additional","affiliation":[{"name":"Department of Information and Computer Science, School of Science and Engineering, Waseda University, Shinjuku-ku, Tokyo 169-8555, Japan"}]}],"member":"219","published-online":{"date-parts":[[2011,11,20]]},"reference":[{"key":"p_1","first-page":"31","volume":"3","author":"Abramov S. M.","year":"1991","journal-title":"Programmirovanie"},{"key":"p_2","first-page":"121","author":"Abramov S. M.","year":"1993","journal-title":"Sweden"},{"key":"p_7","doi-asserted-by":"publisher","DOI":"10.1007\/BF01806113"},{"key":"p_10","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001684"},{"key":"p_12","first-page":"236","volume":"300","author":"Consel C.","year":"1988","journal-title":"LNCS"},{"key":"p_13","first-page":"170","volume":"1490","author":"Consel C.","year":"1998","journal-title":"LNCS"},{"key":"p_16","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(81)90014-X"},{"key":"p_18","doi-asserted-by":"publisher","DOI":"10.1145\/355598.362740"},{"key":"p_19","first-page":"391","author":"Ershov A. P.","year":"1978","journal-title":"Amsterdam"},{"issue":"5","key":"p_20","first-page":"45","volume":"2","author":"Putamura Y.","year":"1971","journal-title":"Systems. Computers. Controls"},{"key":"p_21","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(91)90299-H"},{"key":"p_22","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001167"},{"key":"p_26","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007763000430"},{"key":"p_27","first-page":"112","volume":"724","author":"Gliick R.","year":"1993","journal-title":"LNCS"},{"issue":"5","key":"p_31","first-page":"R1","volume":"27","author":"Hudak P.","year":"1992","journal-title":"SIGPLAN Notices"},{"key":"p_33","first-page":"124","volume":"202","author":"Jones N. D.","year":"1985","journal-title":"LNCS"},{"key":"p_34","doi-asserted-by":"publisher","DOI":"10.1007\/BF01806312"},{"key":"p_37","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001465"},{"key":"p_38","doi-asserted-by":"publisher","DOI":"10.1145\/359131.359136"},{"key":"p_39","first-page":"230","volume":"1503","author":"Leuschel M.","year":"1998","journal-title":"LNCS"},{"key":"p_42","first-page":"249","volume":"1181","author":"Nemytykh A. P.","year":"1996","journal-title":"LNCS"},{"key":"p_45","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211087"},{"key":"p_47","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800002008"},{"key":"p_51","first-page":"285","volume":"1181","author":"Thiemann P.","year":"1996","journal-title":"LNCS"},{"key":"p_52","first-page":"31","author":"Turchin V. F.","year":"1972","journal-title":"USSR"},{"key":"p_53","doi-asserted-by":"publisher","DOI":"10.1145\/5956.5957"},{"key":"p_55","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000757"},{"key":"p_57","first-page":"314","volume":"1463","author":"Vanhoof W.","year":"1998","journal-title":"LNCS"},{"key":"p_58","doi-asserted-by":"publisher","DOI":"10.1007\/BF01806174"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054101000448","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T15:32:24Z","timestamp":1565191944000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129054101000448"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,4]]},"references-count":29,"journal-issue":{"issue":"02","published-online":{"date-parts":[[2011,11,20]]},"published-print":{"date-parts":[[2001,4]]}},"alternative-id":["10.1142\/S0129054101000448"],"URL":"https:\/\/doi.org\/10.1142\/s0129054101000448","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,4]]}}}