Partial Evaluation and Symbolic Computation for the Understanding of Fortran Programs
暂无分享,去创建一个
[1] Sandrine Blazy,et al. Software maintenance: an analysis of industrial needs and constraints , 1992, Proceedings Conference on Software Maintenance 1992.
[2] Andrew A. Berlin,et al. Compiling scientific code using partial evaluation , 1990, Computer.
[3] Richard A. Kemmerer,et al. Unisex: A unix‐based symbolic executor for pascal , 1985, Softw. Pract. Exp..
[4] Victor N. Kasyanov. Transformational Approach to Program Concretization , 1991, Theor. Comput. Sci..
[5] Neil D. Jones,et al. Mix: A self-applicable partial evaluator for experiments in compiler generation , 1989, LISP Symb. Comput..
[6] A. P. Ershov,et al. Controlled mixed computation and its application to systematic development of language-oriented parsers , 1987 .
[7] Keith Brian Gallagher,et al. Using Program Slicing in Software Maintenance , 1991, IEEE Trans. Software Eng..
[8] Uwe Meyer. Techniques for partial evaluation of imperative languages , 1991 .
[9] Carlo Ghezzi,et al. Software Specialization Via Symbolic Execution , 1991, IEEE Trans. Software Eng..
[10] H. M. Sneed,et al. The myth of 'top-down' software development and its consequences for software maintenance , 1989, Proceedings. Conference on Software Maintenance - 1989.