Supercompilation: Techniques and results-Reference-Cited by-同舟云学术

Supercompilation: Techniques and results

Published:1996 Issue: Volume: Page:227-248
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Turchin Valentin F.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-62064-8_20.pdf

Reference23 articles.

1. S.M. Abramov. Metavychisleniya i ikh Prilozhenija (Metacomputation and its Applications, in Russian) Nauka, Moscow, 1995.

2. M.A. Bulyonkov. Polyvariant mixed computation for analyzer programs, Acta Informatica, 21, pp. 473–84, 1984.

3. A.P. Ershov. On the essence of compilation, Programmirovanie (5):21–39, 1977 (in Russian). See translation in: E.J.Neuhold, ed., Formal description of Programming Concepts pp 391–420, North-Holland, 1978.

4. A.P. Ershov. Mixed computation in the class of recursive program schemata, Acta Cybernetica, 4(1), pp. 19–23, 1078

5. A.P. Ershov. Mixed computation: potential applications and problems for study, Theoretical Computer Science, 18, pp. 41–67, 1982

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Efficiency Investigation of BT-Object Based Partial Evaluation of Interpreters Written in the Java Object-Oriented Language;Program Systems: Theory and Applications;2022-12-05

2. Supercompilation and partial evaluation are still not widely used in practice. Why and what to do?;Proceedings of 24th Scientific Conference “Scientific Services & Internet – 2022”;2022

3. Specialization of interpreters written in object-oriented languages can be effective;Proceedings of 24th Scientific Conference “Scientific Services & Internet – 2022”;2022

4. The JaSpe specializer: BT-objects and the interprocedural aspect of the binding-time analysis algorithm;Program Systems: Theory and Applications;2021-12-01

5. Supercompilation for Martin-Lof’s type theory;Programming and Computer Software;2015-05