Verifier to check intermediate language
作者： Andrew Gordon , Donald Syme , Jonathon Forbes , Vance P. Morrison
DOI:
关键词: Natural language processing 、 Common Intermediate Language 、 Artificial intelligence 、 Low-level programming language 、 Consistency (database systems) 、 Code generation 、 Programming language 、 Code (cryptography) 、 Code word 、 Computer science 、 Object code 、 Source code
摘要: Verification of intermediate language code. In one embodiment, a computer-implemented method first verifies metadata an code for consistency and accuracy, then verifying the accuracy. This latter part in embodiment is accomplished by performing syntactic check code, semantic
google.com.mx 参考文章(35)
Greg Frascadore, Java application server security using capabilities More Java gems. pp. 323- 335 ,(2000) , 10.1017/CBO9780511550881.026
James Gosling, Java Intermediate Bytecode. Intermediate Representations Workshop. pp. 111- 118 ,(1995)
Roberto Ierusalimschy, Anna Hester, Renato Borges, Building Flexible and Extensible Web Applications with Lua. Journal of Universal Computer Science. ,vol. 4, pp. 748- 762 ,(1998)
Compcon, Proceedings : IEEE COMPCON 97, San Jose, California, February 23 - 26, 1997 IEEE Computer Society Press. ,(1997)
Peter Dömel, Interaction of Java and Telescript Agents international workshop on mobile object systems. pp. 295- 312 ,(1996) , 10.1007/3-540-62852-5_21
Vatsa Santhanam, David Gross, John Kwan, Optimization of source code with embedded machine instructions ,(1998)
Peter Deutsch, Charles A. Grant, A Flexible Measurement Tool for Software Systems. ifip congress. pp. 320- 326 ,(1971)
Derek White, Alex Garthwaite, The GC Interface in the EVM 1 Sun Microsystems, Inc.. ,(1998)
Dennis Joseph Murphy, Robert Neil Faiman, Interface for symbol table construction in a multilanguage optimizing compiler ,(1994)
George C. Necula, Peter Lee, Safe, Untrusted Agents Using Proof-Carrying Code Mobile Agents and Security. pp. 61- 91 ,(1998) , 10.1007/3-540-68671-1_5