A Syntactic Approach to Foundational Proof-Carrying Code

Author： Hamid Nadeem   Shao Zhong   Trifonov Valery   Monnier Stefan   Ni Zhaozhong  

Publisher： Springer Publishing Company

ISSN： 0168-7433

Source： Journal of Automated Reasoning, Vol.31, Iss.3-4, 2003-11, pp. : 191-229

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Interactive and Probabilistic Proof of Mobile Code Safety

By Tsukada Yasuyuki  

Automated Software Engineering, Vol. 12, Iss. 2, 2005-04 ,pp. : 237-257

Springer Publishing Company

Access to resources Recommend Favorite

An approach to infection-proof networks

By Tanaka Hideyuki  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 26, Iss. 9, 1997-09 ,pp. : 1001-1011

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition

By Xiao Y.  

LISP and Symbolic Computation, Vol. 14, Iss. 4, 2001-12 ,pp. : 387-409

Springer Publishing Company

Access to resources Recommend Favorite

Expert system for extracting syntactic information from Java code

By Depradine C.  

Expert Systems with Applications, Vol. 25, Iss. 2, 2003-08 ,pp. : 187-198

Elsevier

Access to resources Recommend Favorite

A Syntactic Pattern-recognition Approach for Process Monitoring and Fault Diagnosis

By Rengaswamy R.   Venkatasubramanian V.  

Engineering Applications of Artificial Intelligence, Vol. 8, Iss. 1, 1995-02 ,pp. : 35-51

Elsevier

Access to resources Recommend Favorite