MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Towards the Verifying Compiler." – 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.

ATOM

The Verified Software Repository: a step towards the verifying compiler
by J. C. Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
… Repository: a step towards the verifying compiler J. C. Bicarregui, 1 C. A. R. Hoare, 2 and J. C. P. Woodcock…
Cited by 4 (1 self) – Add To MetaCart

The FMICS View on the Verified Software Repository
by Alvaro Arenas, Juan Bicarregui, Tiziana Margaria
… of the system and the total correctness of its more critical components. A step towards the Verifying Compiler…
Cited by 3 (1 self) – Add To MetaCart

K.: Dependently typed meta-programming
by Edwin Brady, Kevin Hammond — In: Proc. of 7th Symposium on Trends in Functional Programming. (2006) Available at http://www.cs.nott.ac.uk/˜nhn/TFP2006/Papers/30-BradyHammondDependentlyTypedMetaProgramming.pdf
… takes us towards a method for building verified compilers. Our work follows the ideas of [18…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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