Searching for authors named "David Mandelin" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

Debugging temporal specifications with
by David Mandelin — 2003
…. Larus David Mandelin April 7, 2003 Abstract Program verification tools (such as model checkers…
Add To MetaCart

Debugging temporal specifications with concept analysis
by Glenn Ammons, David Mandelin, James R. Larus — 2003 — In ACM SIGPLAN Conf on Prog Lang Design and Implem
… Debugging Temporal Specifications with Concept Analysis Glenn Ammons * ammons@(email omitted); David…
Cited by 40 (0 self) – Add To MetaCart

Jungloid Mining: Helping to Navigate the API Jungle
by David Mandelin Lin, Lin Xu, Rastislav Bodík
…Abstract Jungloid Mining: Helping to Navigate the API Jungle ∗ David Mandelin Lin Xu Rastislav…
Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB