Information Technology Reference
In-Depth Information
16. Weiß, B.: Predicate abstraction in a program logic calculus. In: Leuschel, M.,
Wehrheim, H. (eds.) IFM 2009. LNCS, vol. 5423, pp. 136-150. Springer, Heidelberg
(2009)
17. Engel, C., Roth, A., Schmitt, P.H., Weiß, B.: Verification of modifies clauses in
dynamic logic with non-rigid functions. Technical Report 2009-9, Department of
Computer Science, University of Karlsruhe (2009)
18. Sahlin, D.: Mixtus: an automatic partial evaluator for full prolog. New Gen. Com-
put. 12(1), 7-51 (1993)
19. Glenstrup, A.J., Makholm, H., Secher, J.P.: C-mix: Specialization of c programs.
Partial Evaluation, 108-154 (1998)
20. Turchin, V.F.: The concept of a supercompiler. ACM Trans. Program. Lang.
Syst. 8(3), 292-325 (1986)
21. Albert, E., Gomez-Zamalloa, M., Puebla, G.: PET: a partial evaluation-based test
case generation tool for Java bytecode. In: ACM SIGPLAN WS on Partial Evalu-
ation and Semantics-based Program Manipulation. ACM Press, New York (2010)
