Searching for "Symbolic Analysis via Semantic Reinterpretation." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Symbolic Analysis via Semantic Reinterpretation
by Junghee Lim, Akash Lal, Thomas Reps
…Symbolic Analysis via Semantic Reinterpretation Junghee Lim Akash Lal Thomas Reps University…
Add To MetaCart

Research Intern
by Advisor Prof, Thomas Reps, Fall Spring, Mentor Sumit Gulwani — 2005
…. Submitted for journal publication. Junghee Lim, Akash Lal, and Thomas Reps, Symbolic analysis via semantic…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB