Reverse program calculation supported by code slicing - Villavicencio, G.; Oliveira, J.N. (Proceedings Eighth Working Conference on Reverse Engineering, 2001)
Keywords: Algebra; Application software; Calculus; Documentation; Formal specifications; Functional programming; Hardware; Reverse engineering; Software design; Software engineering