SIMP

MaRDI QIDQ21915swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-642-38197-3_5

Cited in

(3)

• Control-flow refinement by partial evaluation, and its application to termination and cost analysis
• HSF
• Specialization with constrained generalization for software model checking

This page was built for software: SIMP