MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Program checking." – sorted by Relevance.

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

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

1,535 documents found, showing 1 through 10. Next 10 →

ATOM

Program Checking
by Truncate Type Data, Value Return
… by copying, 6 verification of correctness, see program checking word count program, 38 Index 47 value return…
Add To MetaCart

Designing Programs That Check Their Work
by Manuel Blum, Sampath Kannan, Comp Sci, Comp Sci — 1989
…Designing programs that check their work Manuel Blum Comp. Sci. Division U. of California…
Cited by 254 (21 self) – Add To MetaCart

The Query Complexity of Program Checking by
by Constant-Depth Circuits Arvind, V. Arvind, K. V. Subrahmanyam, N. V. Vinodchandran — 2002
…The Query Complexity of Program Checking by Constant-Depth Circuits V. Arvind K. V…
Add To MetaCart

Program checking with certificates: Separating correctnesscritical code
by Sabine Glesner — 2003 — In FME 2003: International Symposium of Formal Methods Europe
…Program Checking with Certificates: Separating Correctness-Critical Code Sabine Glesner Institut…
Cited by 1 (0 self) – Add To MetaCart

Using Program Checking to Ensure the Correctness of Compiler Implementations
by Sabine Glesner — 2003 — Journal of Universal Computer Science (J.UCS
…Using Program Checking to Ensure the Correctness of Compiler Implementations Sabine Glesner…
Cited by 7 (2 self) – Add To MetaCart

A (de)constructive approach to program checking
by Shafi Goldwasser, Alexander Healy, Tali Kaufman, Dan Gutfreund, Guy N. Rothblum — 1989 — Electronic Colloquium on Computational Complexity, 2007. 34 [GMR89] O. Goldreich
…A (De)constructive Approach to Program Checking Shafi Goldwasser ∗ MIT and Weizmann Institute…
Cited by 1 (1 self) – Add To MetaCart

Simplify: A theorem prover for program checking
by David Detlefs, David Detlefs, Greg Nelson, Greg Nelson, James B. Saxe, James B. Saxe — 2003 — J. ACM
…Simplify: A Theorem Prover for Program Checking David Detlefs 1 , Greg Nelson, James B. Saxe…
Cited by 207 (1 self) – Add To MetaCart

From Algorithms to Working Programs On the Use of Program Checking in LEDA
by Kurt Mehlhorn, Stefan Näher — 1998 — In Proc. Int. Conf. on Mathematical Foundations of Computer Science (MFCS 98
…From Algorithms to Working Programs On the Use of Program Checking in LEDA Kurt Mehlhorn 1…
Cited by 3 (1 self) – Add To MetaCart

Witness-Based Cryptographic Program Checking and Robust Function Sharing
by Yair Frankel, Peter Gemmell, Moti Yung — 1996
…Witness-Based Cryptographic Program Checking and Robust Function Sharing Yair Frankel Peter…
Cited by 26 (4 self) – Add To MetaCart

Typed Constraint Logic Programs: checking domain coercions and metaprograms through subtyping
by Emmanuel Coquery, François Fages
…Typed Constraint Logic Programs: checking domain coercions and metaprograms through subtyping…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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