Practical aspects of specialization of Algol-like programs-Reference-Cited by-同舟云学术

Practical aspects of specialization of Algol-like programs

Published:1996 Issue: Volume: Page:17-32
ISSN:0302-9743
Container-title:Partial Evaluation
language:
Short-container-title:

Author:

Bulyonkov Mikhail A.,Kochetov Dmitry V.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61580-6_2.pdf

Reference13 articles.

1. Andersen, L.O.: Partial evaluation of C and automatic compiler generation. LNCS 641 (1992) 251–257.

2. Andersen, L.O.: Self-applicable C program specialization. In Procs. of the Partial Evaluation and Semantics-Based Program Manipulation'92 (1992) 54–61.

3. Baier, R., Glück R., Zöchling, R.: Partial evaluation of numerical programs in Fortran. In Procs. of the Partial Evaluation and Semantics-Based Program Manipulation'94 (1994) 119–132.

4. Barzdin, G.Ja., Bulyonkov, M.A.: Mixed computation and compilation: Linearization and decomposition of a compiler. Computing Center, Siberian Branch of the USSR Academy of Sciences Preprint 791 (1988) (In Russian).

5. Blazy, S., Facon, P.: Partial evaluation for the understanding of Fortran programs. In Procs. of the Software Engineering and Knowledge Engineering'93 (1993) 517–525.

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

1. A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols;Perspectives of Systems Informatics;2010

2. An Unfolding-Based Loop Optimization Technique;Software and Compilers for Embedded Systems;2003

3. Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All;Lecture Notes in Computer Science;2000

4. Semantic analyzer of modula-programs;Static Analysis;1997