Quirino Zagarese, Gerardo Canfora, Eugenio Zimeo, Iyad Alshabani, Laurent Pellegrino, Amjad Alshabani, Françoise Baude. Improving data-intensive EDA performance with annotation-driven laziness. Science of Computer Programming, 97:266-279, 2015. [doi]
Abstract is missing.