DMCA

Combinations of Abstract Domains for Logic Programming: Open Product and Generic Pattern Construction (2000)

by Agostino Cortesi , Baudouin Le Charlier , Pascal Van Hentenryck
Citations:65 - 21 self