Author:
Ambriola V.,Giannotti F.,Pedreschi D.,Turini F.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. PARTIAL EVALUATION FOR THE UNDERSTANDING OF FORTRAN PROGRAMS;International Journal of Software Engineering and Knowledge Engineering;1994-12
2. Detecting static algorithms by partial evaluation;ACM SIGPLAN Notices;1991-09
3. Software specialization via symbolic execution;IEEE Transactions on Software Engineering;1991
4. A transformational approach to negation in logic programming;The Journal of Logic Programming;1990-05
5. A method for specializing logic programs;ACM Transactions on Programming Languages and Systems;1990-04