Searching for "Datatypes in L2." – 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.

A verifying core for a cryptographic language compiler
by Lee Pike — 2006 — In Manolios, P., Wilding, M., eds.: 6th ACL2 Workshop. (2006
… is represented in L2 (usually by an algebraic datatype of L2), and a meaning function is constructed that maps…
Cited by 6 (1 self) – Add To MetaCart

Showing 1 through 1.

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