publications: - title: "Program Specialization vs. Program Composition" author: - name: "Andrei V. Klimov" link: "http://pat.keldysh.ru/~anklimov/" year: "1998" doi: "http://doi.acm.org/10.1145/289121.289124" links: doi: "http://doi.acm.org/10.1145/289121.289124" tags: - "composition" researchr: "https://researchr.org/publication/Klimov98" cites: 0 citedby: 0 journal: "ACM Comput. Surv." volume: "30" number: "3es" pages: "3" kind: "article" key: "Klimov98" - title: "On the Degeneration of Program Generators by Program Composition" author: - name: "Robert Glück" link: "http://www.diku.dk/hjemmesider/ansatte/glueck/" - name: "Andrei V. Klimov" link: "http://pat.keldysh.ru/~anklimov/" year: "1998" tags: - "composition" researchr: "https://researchr.org/publication/GluckK98" cites: 0 citedby: 0 journal: "ngc" volume: "16" number: "1" pages: "75-96" kind: "article" key: "GluckK98" - title: "Dynamic Specialization in Extended Functional Language with Monotone Objects" author: - name: "Andrei V. Klimov" link: "http://pat.keldysh.ru/~anklimov/" year: "1991" tags: - "meta-model" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/Klimov91" cites: 0 citedby: 0 pages: "199-210" booktitle: "PEPM" kind: "inproceedings" key: "Klimov91" - title: "A Regeneration Scheme for Generating Extensions" author: - name: "Robert Glück" link: "http://www.diku.dk/hjemmesider/ansatte/glueck/" - name: "Andrei V. Klimov" link: "http://pat.keldysh.ru/~anklimov/" year: "1997" doi: "http://dx.doi.org/10.1016/S0020-0190(97)00055-0" abstract: "A regeneration scheme is presented which shows how to change the computation staging of a generating extension by a two-level metasystem structure using program specialization and program composition. From the results described in this paper we can see that program generation and program degeneration are two extremes of the same transformation dimension; this relates several well-known program transformations under a general scheme." links: doi: "http://dx.doi.org/10.1016/S0020-0190(97)00055-0" tags: - "composition" - "extreme programming" - "programming" - "transformation" - "program transformation" researchr: "https://researchr.org/publication/GluckK97" cites: 0 citedby: 0 journal: "ipl" volume: "62" number: "3" pages: "127-134" kind: "article" key: "GluckK97" - title: "A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols" author: - name: "Andrei V. Klimov" link: "http://pat.keldysh.ru/~anklimov/" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-11486-1_16" abstract: "The Java Supercompiler (JScp) is a specializer of Java programs based on the Turchin’s supercompilation method and extended to support imperative and object-oriented notions absent in functional languages. It has been successfully applied to verification of a number of parameterized models including cache-coherence protocols. Protocols are modeled in Java following the method by G.Delzanno and experiments by A.Lisitsa and A.Nemytykh on verification of protocol models by means of the Refal Supercompiler SCP4. The part of the supercompilation method relevant to the protocol verification is reviewed. It deals with an imperative subset of Java." links: doi: "http://dx.doi.org/10.1007/978-3-642-11486-1_16" tags: - "programming languages" - "object-oriented programming" - "rule-based" - "Java" - "meta programming" - "caching" - "program verification" - "meta-model" - "modeling language" - "modeling" - "protocol" - "language modeling" - "functional programming" - "object-role modeling" - "reviewing" - "subject-oriented programming" - "Meta-Environment" - "feature-oriented programming" - "meta-objects" researchr: "https://researchr.org/publication/Klimov09" cites: 0 citedby: 0 pages: "185-192" booktitle: "ershov" kind: "inproceedings" key: "Klimov09" - title: "Specifying Monogenetic Specializers by Means of a Relation Between Source and Residual Programs" author: - name: "Andrei V. Klimov" link: "http://pat.keldysh.ru/~anklimov/" year: "2006" doi: "http://dx.doi.org/10.1007/978-3-540-70881-0_22" abstract: "A specification of a class of specializers for a tiny functional language in form of natural semantics inference rules is presented. The specification defines a relation between source and residual programs with respect to an initial configuration (a set of input data). The specification expresses the idea of what is to be a specialized program, avoiding where possible the details of how a specializer builds it. In particular, it abstracts from the difference between on-line and off-line specialization. The class of specializers specified here is limited to monogenetic specializers, which includes specializers based upon partial evaluation as well as restricted supercompilation. The specification captures such supercompilation notions as configuration, driving, generalization of a configuration, and a simple case of splitting a configuration. The proposed specification is an intensional definition of equivalence between source and residual programs. It provides a shorter cut for proving the correctness and other properties of specializers than usual reduction to the extensional equivalence of programs does." links: doi: "http://dx.doi.org/10.1007/978-3-540-70881-0_22" tags: - "programming languages" - "semantics" - "rule-based" - "data-flow language" - "functional programming" - "data-flow programming" - "data-flow" - "source-to-source" - "rules" - "partial evaluation" - "programming" - "open-source" researchr: "https://researchr.org/publication/Klimov06" cites: 0 citedby: 0 pages: "248-259" booktitle: "ershov" kind: "inproceedings" key: "Klimov06" - title: "Occam s Razor in Metacompuation: the Notion of a Perfect Process Tree" author: - name: "Robert Glück" link: "http://www.diku.dk/hjemmesider/ansatte/glueck/" - name: "Andrei V. Klimov" link: "http://pat.keldysh.ru/~anklimov/" year: "1993" tags: - "Occam" researchr: "https://researchr.org/publication/GluckK93" cites: 0 citedby: 0 pages: "112-123" booktitle: "SAS" kind: "inproceedings" key: "GluckK93" - title: "Solving Coverability Problem for Monotonic Counter Systems by Supercompilation" author: - name: "Andrei V. Klimov" link: "http://pat.keldysh.ru/~anklimov/" year: "2011" doi: "http://dx.doi.org/10.1007/978-3-642-29709-0_18" links: doi: "http://dx.doi.org/10.1007/978-3-642-29709-0_18" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ershov/Klimov11" researchr: "https://researchr.org/publication/Klimov11" cites: 0 citedby: 0 pages: "193-209" booktitle: "ershov" kind: "inproceedings" key: "Klimov11" - title: "On Deterministic Parallel Implementation of the Branch-and-Bound Method with Monotonic Objects" author: - name: "Alexei Adamovich" link: "https://researchr.org/alias/alexei-adamovich" - name: "Andrei V. Klimov" link: "http://pat.keldysh.ru/~anklimov/" year: "2019" doi: "http://ceur-ws.org/Vol-2543/rpaper01.pdf" links: doi: "http://ceur-ws.org/Vol-2543/rpaper01.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ssi/AdamovichK19" researchr: "https://researchr.org/publication/AdamovichK19" cites: 0 citedby: 0 pages: "1-12" booktitle: "ssi" kind: "inproceedings" key: "AdamovichK19" - title: "A simple algorithm for solving the coverability problem for monotonic counter systems" author: - name: "Andrei V. Klimov" link: "http://pat.keldysh.ru/~anklimov/" year: "2012" doi: "http://dx.doi.org/10.3103/S0146411612070103" links: doi: "http://dx.doi.org/10.3103/S0146411612070103" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/accs/Klimov12" researchr: "https://researchr.org/publication/Klimov12" cites: 0 citedby: 0 journal: "accs" volume: "46" number: "7" pages: "364-370" kind: "article" key: "Klimov12"