tml#type-t">Pulse.t</a></span></code></li></ol></div><div class="spec-doc"><p>Summary specialization is a technique that permits to increase the precision of summary by specializing them to calling context. Each analysis can choose its notion of specialization. The interprocedural engine will reanalyze a procedure if it needs specialization and it will add the obtained specialized summary to the summaries stored for this procedure. This techique avoids cloning procedures.</p></div></div><div class="odoc-inc