Splice: Aspects That Analyze Programs.

Sean McDirmid Wilson C. Hsieh

Published in: GPCE (2004)

Keyphrases

trade off
formal analysis
real time
search algorithm
data sets
decision making
data structure
special case
object oriented