MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Verifiable" – sorted by Relevance.

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

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

3,043 documents found, showing 1 through 10. Next 10 →

ATOM

A Verified Typechecker
by Robert Pollack — 1995 — Proceedings of the Second International Conference on Typed Lambda Calculi and Applications, volume 902 of Lecture Notes in Computer Science
…A Verified Typechecker ? ?? Robert Pollack Dept. of Computing Science Chalmers Univ…
Cited by 13 (2 self) – Add To MetaCart

A Verified Vista Implementation
by Paul Curzon, Cb Qg — 1993
…A Verified Vista Implementation Final Report Paul Curzon Technical Report 311 September 1993…
Cited by 3 (0 self) – Add To MetaCart

VLISP: A verified implementation of Scheme
by Joshua Guttman, Vipin Swarup, John Ramsdell — 1995 — Lisp and Symbolic Computation
… Publishers { Manufactured in The Netherlands VLISP: A Veried Implementation of Scheme JOSHUA GUTTMAN…
Cited by 38 (3 self) – Add To MetaCart

How to Transform an Analyzer into a Verifier
by Marco Comini, Roberta Gori, Giorgio Levi — 2001 — Logic for Programming and Automated Reasoning. Proceedings of the 8th International Conference (LPAR’01), volume 2250 of Lecture Notes in Artificial Intelligence
…How to Transform an Analyzer into a Verifier Marco Comini 1 , Roberta Gori 2 , and Giorgio Levi 2…
Cited by 4 (3 self) – Add To MetaCart

A Verified Operating System Kernel
by William R. Bevier, Texas At Austin — 1987 — University of Texas at Austin
…A Verified Operating System Kernel William R. Bevier Technical Report 11 October, 1987…
Cited by 29 (1 self) – Add To MetaCart

A Verified Access Control Model
by Kurt Stenzel — 1993
…A Verified Access Control Model Kurt Stenzel 1 Institut fur Logik, Komplexitat und…
Cited by 3 (2 self) – Add To MetaCart

A verifying core for a cryptographic language compiler
by Lee Pike — 2006 — In Manolios, P., Wilding, M., eds.: 6th ACL2 Workshop. (2006
…A Verifying Core for a Cryptographic Language Compiler ∗ ABSTRACT Lee Pike leepike@(email omitted); A…
Cited by 6 (1 self) – Add To MetaCart

A Verified Compiler for a Structured Assembly Language
by Paul Curzon, Paul Curzon — 1991 — In proceedings of the 1991 international workshop on the HOL theorem Proving System and its applications. IEEE Computer
…A Verified Compiler for a Structured Assembly Language Paul Curzon University of Cambridge…
Cited by 6 (2 self) – Add To MetaCart

A Verified Code Generator For A Subset Of Gypsy
by William D. Young, William D. Young, William D. Young — 1988
… VERIFIED CODE GENERATOR FOR A SUBSET OF GYPSY APPROVED BY SUPERVISORY COMMITTEE…
Cited by 19 (4 self) – Add To MetaCart

W.“Abstracting Pointers for a Verifying Compiler
by Greg Kulczycki, Scott Duckworth, Murali Sitaraman, Bruce W. Weide, Gregory Kulczycki, Scott Duckworth, Murali Sitaraman, Bruce W. Weide — 2007 — in Proceedings 31st Annual Software Engineering Workshop
…Abstracting Pointers for a Verifying Compiler Greg Kulczycki, Scott Duckworth, Murali Sitaraman…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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