Improving data-intensive EDA performance with annotation-driven laziness

Autor: Zagarese, Quirino, Canfora, Gerardo, Zimeo, Eugenio, Alshabani, Iyad, Pellegrino, Laurent, Alshabani, Amjad, Baude, Françoise
Zdroj: In Science of Computer Programming 1 January 2015 97 Part 2:266-279
Databáze: ScienceDirect