certifying compiler
Recently Published Documents

TOTAL DOCUMENTS

10
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Certifying Compiler for Clike Subset of C Language

2010 ◽  
Author(s):  
Zhaopeng Li ◽  
Zhong Zhuang ◽  
Yiyun Chen ◽  
Simin Yang ◽  
Zhenting Zhang ◽  
...  
Keyword(s):  
C Language ◽  
Certifying Compiler

scholarly journals A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Σ-Protocols

2010 ◽  
pp. 151-167 ◽  
Author(s):  
José Bacelar Almeida ◽  
Endre Bangerter ◽  
Manuel Barbosa ◽  
Stephan Krenn ◽  
Ahmad-Reza Sadeghi ◽  
...  
Keyword(s):  
Zero Knowledge ◽  
Knowledge Based ◽  
Proofs Of Knowledge ◽  
Certifying Compiler

scholarly journals A pointer logic and certifying compiler

2007 ◽  
Vol 1 (3) ◽  
pp. 297-312 ◽  
Author(s):  
Yiyun Chen ◽  
Lin Ge ◽  
Baojian Hua ◽  
Zhaopeng Li ◽  
Cheng Liu ◽  
...  
Keyword(s):  
Certifying Compiler ◽  
Pointer Logic

The design and implementation of a certifying compiler

2004 ◽  
Vol 39 (4) ◽  
pp. 612-625 ◽  
Author(s):  
George C. Necula ◽  
Peter Lee
Keyword(s):  
Design And Implementation ◽  
Certifying Compiler

A certifying compiler for Java

2000 ◽  
Vol 35 (5) ◽  
pp. 95-107 ◽  
Author(s):  
Christopher Colby ◽  
Peter Lee ◽  
George C. Necula ◽  
Fred Blau ◽  
Mark Plesko ◽  
...  
Keyword(s):  
Certifying Compiler

A certifying compiler for Java

2000 ◽  
Author(s):  
Christopher Colby ◽  
Peter Lee ◽  
George C. Necula ◽  
Fred Blau ◽  
Mark Plesko ◽  
...  
Keyword(s):  
Certifying Compiler

scholarly journals The design and implementation of a certifying compiler

1998 ◽  
Vol 33 (5) ◽  
pp. 333-344 ◽  
Author(s):  
George C. Necula ◽  
Peter Lee
Keyword(s):  
Design And Implementation ◽  
Certifying Compiler
Load More ...
Sign in / Sign up

Export Citation Format

Share Document