{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T22:24:18Z","timestamp":1693866258896},"reference-count":19,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1999,4,1]],"date-time":"1999-04-01T00:00:00Z","timestamp":922924800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":5221,"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":[[1999,4]]},"DOI":"10.1016\/s0167-6423(98)00015-x","type":"journal-article","created":{"date-parts":[[2002,10,31]],"date-time":"2002-10-31T21:12:04Z","timestamp":1036098724000},"page":"55-73","source":"Crossref","is-referenced-by-count":3,"title":["Correctness of on-line partial evaluation for a Pascal-like language"],"prefix":"10.1016","volume":"34","author":[{"given":"Uwe","family":"Meyer","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0167-6423(98)00015-X_BIB1","article-title":"C program specialization","author":"Andersen","year":"1991"},{"key":"10.1016\/S0167-6423(98)00015-X_BIB2","article-title":"On-line and off-line partial evaluation: Semantic specification and correctness proofs","author":"Consel","year":"1992"},{"issue":"2","key":"10.1016\/S0167-6423(98)00015-X_BIB3","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1016\/0020-0190(77)90078-3","article-title":"On the partial computation principle","volume":"6","author":"Ershov","year":"1977","journal-title":"Inform. Process. Lett."},{"key":"10.1016\/S0167-6423(98)00015-X_BIB4","series-title":"Mathematical Foundations of Computer Science","first-page":"59","article-title":"Correctness of mixed-computation of Algol-like programs","volume":"Vol. 53","author":"Ershov","year":"1977"},{"key":"10.1016\/S0167-6423(98)00015-X_BIB5","series-title":"Program Specification and Transformation, Proc. IFIP TC2\/WG 2.1 Working Conf. on Program Specification and Transformation","first-page":"31","article-title":"Controlled mixed computation and its application to systematic development of language-oriented parsers","author":"Ershov","year":"1987"},{"key":"10.1016\/S0167-6423(98)00015-X_BIB6","series-title":"ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation","first-page":"98","article-title":"A simple rewriting semantics for realistic imperative programs and its application to program analysis","author":"Field","year":"1992"},{"issue":"5","key":"10.1016\/S0167-6423(98)00015-X_BIB7","first-page":"45","article-title":"Partial evaluation of computation process \u2014 an approach to a compiler-compiler","volume":"2","author":"Futamura","year":"1971","journal-title":"Systems Comput. Controls"},{"key":"10.1016\/S0167-6423(98)00015-X_BIB8","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF01700692","article-title":"\u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme I","volume":"38","author":"G\u00f6del","year":"1931","journal-title":"Monatshefte Mathematik Physik"},{"issue":"2","key":"10.1016\/S0167-6423(98)00015-X_BIB9","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1145\/128861.128864","article-title":"A self-applicable partial evaluator for the lambda calculus: Correctness and pragmatics","volume":"14","author":"Gomard","year":"1992","journal-title":"ACM Trans. Programming Languages Systems"},{"key":"10.1016\/S0167-6423(98)00015-X_BIB10","author":"Jensen","year":"1985"},{"key":"10.1016\/S0167-6423(98)00015-X_BIB11","series-title":"Rewriting Techniques and Applications","first-page":"124","article-title":"An experiment in partial evaluation: The generation of a compiler generator","volume":"Vol. 202","author":"Jones","year":"1985"},{"key":"10.1016\/S0167-6423(98)00015-X_BIB12","series-title":"Partial Evaluation and Automatic Program Generation","author":"Jones","year":"1993"},{"key":"10.1016\/S0167-6423(98)00015-X_BIB13","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569814","article-title":"Projection Factorisations in Partial Evaluation","author":"Launchbury","year":"1991"},{"key":"10.1016\/S0167-6423(98)00015-X_BIB14","series-title":"The Programming Language LISP: Its Operation and Applications","first-page":"204","article-title":"LISP as the language for an incremental computer","author":"Lombardi","year":"1964"},{"key":"10.1016\/S0167-6423(98)00015-X_BIB15","series-title":"ACM SIGPLAN Notices","first-page":"94","article-title":"Techniques for partial evaluation of imperative languages","volume":"Vol. 26","author":"Meyer","year":"1991"},{"key":"10.1016\/S0167-6423(98)00015-X_BIB16","article-title":"Partielle Auswertung imperativer Sprachen","author":"Meyer","year":"1992"},{"key":"10.1016\/S0167-6423(98)00015-X_BIB17","author":"Meyer","year":"1992"},{"key":"10.1016\/S0167-6423(98)00015-X_BIB18","series-title":"Nineteenth ACM Symp. on Principles of Programming Languages","article-title":"Partial evaluation and high-level imperative programming languages with applications in hard real-time systems","author":"Nirkhe","year":"1992"},{"key":"10.1016\/S0167-6423(98)00015-X_BIB19","article-title":"Opportunities for online partial evaluation","author":"Ruf","year":"1992"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S016764239800015X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S016764239800015X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T03:56:02Z","timestamp":1555473362000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S016764239800015X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,4]]},"references-count":19,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,4]]}},"alternative-id":["S016764239800015X"],"URL":"https:\/\/doi.org\/10.1016\/s0167-6423(98)00015-x","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[1999,4]]}}}