Searching for "Formal Reasoning about Efficient Data Structures A Case Study in ACL2." – 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.

Formal Reasoning About Efficient Data Structures: A Case Study in ACL2
by J. -l. Ruiz-reina, J. -a. Alonso, M. -j. Hidalgo, F. -j. Martín-mateos — 2004 — In Logic Based Program Synthesis and Transformation, LNCS 3018
…Formal Reasoning About Efficient Data Structures: A Case Study in ACL2 ⋆ J.-L. Ruiz-Reina, J.-A…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 1.

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