{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T00:53:58Z","timestamp":1648688038205},"reference-count":48,"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\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Languages"],"published-print":{"date-parts":[[1999,4]]},"DOI":"10.1016\/s0096-0551(99)00004-1","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T22:56:11Z","timestamp":1027637771000},"page":"1-37","source":"Crossref","is-referenced-by-count":0,"title":["A sketch-based technique for the derivation of self-interpreters"],"prefix":"10.1016","volume":"25","author":[{"given":"A.C.","family":"Reeves","sequence":"first","affiliation":[]},{"given":"C.","family":"Rattray","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/S0096-0551(99)00004-1_BIB1","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0304-3975(82)90111-6","article-title":"Mixed computation: Potential applications and problems for study","volume":"18","author":"Ershov","year":"1982","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB2","unstructured":"Jones ND. Automatic program specialisation: A re-examination from basic principles In [46] 1988"},{"issue":"5","key":"10.1016\/S0096-0551(99)00004-1_BIB3","first-page":"45","article-title":"Partial evaluation of computation process\u2014an approach to a compiler\u2013compiler","volume":"2","author":"Futamura","year":"1971","journal-title":"Systems, Computers, Controls"},{"issue":"2","key":"10.1016\/S0096-0551(99)00004-1_BIB4","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":"Information Processing Letters"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB5","first-page":"1","article-title":"Partial computation of programs","volume":"147 in LNCS","author":"Futamura","year":"1982"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB6","first-page":"124","article-title":"An experiment in partial evaluation: The generation of a compiler generator","volume":"202 in LNCS","author":"Jones","year":"1985"},{"issue":"1","key":"10.1016\/S0096-0551(99)00004-1_BIB7","doi-asserted-by":"crossref","DOI":"10.1007\/BF01806312","article-title":"A self-applicable partial evaluator for experiments in compiler generation","volume":"2","author":"Jones","year":"1987","journal-title":"Lisp and Symbolic Computation"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB8","first-page":"236","article-title":"The structure of a self-applicable partial evaluator","volume":"217 in LNCS","author":"Sestoft","year":"1985"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB9","article-title":"Mix: A self-applicable partial evaluator for experiments in compiler generation","volume":"298 in LNCS","author":"Jones","year":"1987"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB10","unstructured":"Launchbury J. Projections for specialisation, Technical report 88\/R8. University of Glasgow, Department of Computer Science, 1988"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB11","doi-asserted-by":"crossref","unstructured":"Launchbury J. Dependent sums express separation of binding times. In [47], 1989. p. 236\u201353","DOI":"10.1007\/978-1-4471-3166-3_16"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB12","doi-asserted-by":"crossref","unstructured":"Launchbury J. Projection Factorisations in Partial Evaluation. Ph.D. thesis, Department of Computing Science, University of Glasgow CSC 90\/R2 1990","DOI":"10.1017\/CBO9780511569814"},{"issue":"2\/3","key":"10.1016\/S0096-0551(99)00004-1_BIB13","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1080\/01969727608927525","article-title":"Context-free algebras","volume":"6","author":"Hatcher","year":"1976","journal-title":"Journal of Cybernetics"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB14","first-page":"488","article-title":"Context-free algebra: A mathematical device for compiler specification","volume":"45 in LNCS","author":"Rus","year":"1976"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB15","unstructured":"Rus T, Herr FB. An algebraic directed compiler generator. Technical Report 84\u201302, University of Iowa, Department of Computer Science 1984"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB16","unstructured":"Rus T. An inductive approach for program evaluation. Technical Report 85\u201302, University of Iowa, Department of Computer Science 1985"},{"issue":"3\/4","key":"10.1016\/S0096-0551(99)00004-1_BIB17","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0096-0551(87)90021-X","article-title":"An algebraic model for programming languages","volume":"12","author":"Rus","year":"1987","journal-title":"Computer Languages"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB18","unstructured":"Rus T. Algebraic construction of a compiler. Technical Report 90\u201301, University of Iowa, Department of Computer Science 1990"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB19","series-title":"The unified computation laboratory","article-title":"Algebraic construction of compilers","author":"Rus","year":"1992"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB20","unstructured":"Reeves AC. Towards a sketch based model of self-interpreters. MSc thesis, University of Stirling, Department of Computer Science and Mathematics 1994"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB21","unstructured":"Rattray CMI, Reeves AC. A sketch based model of language (in preparation) 1998"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB22","unstructured":"Rus T. T.I.C.S. System: A compiler generator. Technical Report 83\u201308, University of Iowa, Department of Computer Science 1983"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB23","first-page":"104","article-title":"Categories of sketched structures","volume":"10","author":"Bastiani","year":"1968","journal-title":"Cahiers de Topologie G\u00e9om\u00e9rtie Diff\u00e9rentielle"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB24","first-page":"1","article-title":"Esquisses et types de structures alg\u00e9briques","volume":"XIV","author":"Ehresmann","year":"1968","journal-title":"Bull Instit Polit"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB25","first-page":"1","article-title":"Etude g\u00e9n\u00e9rale de la cat\u00e9gorie des esquisses","volume":"23","author":"Lair","year":"1975","journal-title":"Esquisses Mathematiques"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB26","article-title":"Calcul syntaxique des mod\u00e8les et calcul des formules internes","volume":"4","author":"Guitart","year":"1980","journal-title":"Diagrammes"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB27","article-title":"Le\u00e7ons de th\u00e9orie des esquisses (i)","volume":"12","author":"Coppey","year":"1984","journal-title":"Diagrammes"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB28","series-title":"Toposes, triples and theories","author":"Barr","year":"1985"},{"issue":"2","key":"10.1016\/S0096-0551(99)00004-1_BIB29","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1016\/0304-3975(87)90122-8","article-title":"Categorical aspects of data type constructors","volume":"50","author":"Gray","year":"1987","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB30","article-title":"The formal description of data types using sketches","volume":"298 in LNCS","author":"Wells","year":"1987"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB31","series-title":"Prentice Hall International Series in Computer Science","article-title":"Category theory of computing science","author":"Barr","year":"1990"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB32","article-title":"Accessible categories: The foundations of categorical model theory","volume":"104","author":"Makkai","year":"1989"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB33","first-page":"C1","article-title":"Quelques problemes typiques concernant les graphes multiplicatifs","volume":"3","author":"Coppey","year":"1980","journal-title":"Diagrammes"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB34","unstructured":"Kortas S, Quatrain R. Mod\u00e9lisation de la syntaxe et s\u00e9mantique d\u2019un langage informatique par les esquisses. Rapport du S\u00e9minaire d\u2019Initiation a la Recherche (1991\/1992), Ecole Centrale de Paris, Laboratoire de Math\u00e9matiques Appliqu\u00e9e, Multigraphie, Paris 1992"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB35","first-page":"840","article-title":"Sur les structures alg\u00e9briques","volume":"264","author":"Ehresmann","year":"1967","journal-title":"CRAS"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB36","doi-asserted-by":"crossref","unstructured":"Makkai M. Generalized sketches as a framework for completeness theorems. Preprint 1997","DOI":"10.1016\/S0022-4049(96)00009-6"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB37","article-title":"Trames et s\u00e9mantiques cat\u00e9goriques des syst\u00e8mes trames","volume":"18","author":"Lair","year":"1987","journal-title":"Diagrammes"},{"issue":"1","key":"10.1016\/S0096-0551(99)00004-1_BIB38","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0304-3975(90)90158-E","article-title":"A generalisation of the concept of a sketch","volume":"20","author":"Wells","year":"1990","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"10.1016\/S0096-0551(99)00004-1_BIB39","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0096-0551(94)90005-1","article-title":"Algebraic tools for language processing","volume":"20","author":"Rus","year":"1994","journal-title":"Computer Languages"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB40","unstructured":"Holst CK, Hughes J. Towards a binding-time analysis improvement for free. In [48], 1990. pp. 11\u201321"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB41","series-title":"Proceedings FPCA \u201989 Fourth International Conference on Functional Programming and Computer Architecture","first-page":"347","article-title":"Theorems for free!","author":"Wadler","year":"1989"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB42","first-page":"7","article-title":"Executable specifications for data-type constructors","volume":"24","author":"Gray","year":"1990","journal-title":"Diagrammes"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB43","unstructured":"Yusop NI. Generating executable sketches in prolog. M.Sc. IT dissertation, University of Stirling, Department of Computing Science 1991"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB44","series-title":"Twente workshop on language technology","article-title":"Algebraic processing of programming languages","author":"Rus","year":"1995"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB45","doi-asserted-by":"crossref","unstructured":"Schmidt DA. An implementation from a direct semantics definition. In: Programs as data objects, proceedings of a workshop. Springer-Verlag, 1985. 217 in LNCS. p. 222\u2013235","DOI":"10.1007\/3-540-16446-4_13"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB46","series-title":"Partial evaluation and mixed computation, proceedings IFIP TC2 workshop, Gammel Avern\u00e6s, Denmark","year":"1987"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB47","series-title":"Functional programming: Proceedings of the 1989 Glasgow workshop, Springer Workshops in Computing, August, Fraserburgh, Scotland","year":"1989"},{"key":"10.1016\/S0096-0551(99)00004-1_BIB48","series-title":"Functional programming: Proceedings of the 1990 Glasgow workshop. Springer Workshops in Computing, 13\u201315 August, Ullapool, Scotland","year":"1990"}],"container-title":["Computer Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0096055199000041?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0096055199000041?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,2,5]],"date-time":"2020-02-05T01:01:12Z","timestamp":1580864472000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0096055199000041"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,4]]},"references-count":48,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,4]]}},"alternative-id":["S0096055199000041"],"URL":"https:\/\/doi.org\/10.1016\/s0096-0551(99)00004-1","relation":{},"ISSN":["0096-0551"],"issn-type":[{"value":"0096-0551","type":"print"}],"subject":[],"published":{"date-parts":[[1999,4]]}}}