Crosscutting techniques in program specification and analysis.

Patrick Lam Viktor Kuncak Martin C. Rinard

Published in: AOSD (2005)

Keyphrases

multi agent
statistical analysis
database
neural network
search engine
case study
high level
relational databases
software engineering
programming language
quantitative analysis