Now showing items 1-2 of 2

    • Partial Evaluation of Machine Code 

      Srinivasan, Venkatesh; Reps, Thomas (2015-08-21)
      This paper presents an algorithm for off-line partial evaluation of machine code. The algorithm follows the classical two-phase approach of binding-time analysis (BTA) followed by specialization. However, machine-code ...
    • Specialization Slicing 

      Aung, Min; Horwitz, Susan; Joiner, Rich; Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences, 2012-10-27)
      This paper defines a new variant of program slicing, called specialization slicing, and presents an algorithm for the specialization-slicing problem that creates an optimal output slice. An algorithm for specialization ...