Searching for "Automating Type Soundness Proofs via Decision Procedures and Guided Reductions." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

Automating Type Soundness Proofs via Decision Procedures and Guided Reductions
by Don Syme, Andrew D. Gordon — 2002 — In 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning, volume 2514 of LNCS
…Automating Type Soundness Proofs via Decision Procedures and Guided Reductions Don Syme and Andrew…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 1.

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