SIMP

swMATH9936MaRDI QIDQ21915FDOQ21915

Author name not available (Why is that?)

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
• Specialization with constrained generalization for software model checking
• HSF

This page was built for software: SIMP