Optimized representation of data type information in program verification
作者： Eduard K. De Jong
DOI:
关键词:
摘要: A method for program verification comprises receiving a unit, determining data types used by the creating first mapping and using to represent type information in unit. The of entries on an operand stack or register file during simulated execution
google.co.uk参考文章(74)
Ching-Jun Su, Shih-Chin Lai, Chu-Chia Tsai, Wireless fingerprint identity apparatus and method ,(2002)
Roger A. Smith, Mauricio Breternitz, Method and apparatus for sequencing computer instruction execution in a data processing system ,(1996)
Christopher John Stanford, Eduard Karel De Jong, System with and method of cryptographically protecting communications ,(1996)
David L. Detlefs, Method for directly inlining virtual calls without on-stack replacement ,(1999)
Annamaria B. Amenta, Marshall Wayne Bern, Method, apparatus and computer medium for surface reconstruction by Voronoi filtering ,(1998)
Gueorgui B. Chkodrov, Narinder Kaur, Jared M. Green, Replaceable classes and virtual constructors for object-oriented programming languages ,(2000)
Laurent Lagosanto, Jean-Jacques Vandewalle, Generic communication filters for distributed applications ,(2000)
David Francis Bacon, Frank Tip, Peter Francis Sweeney, Johannes C. Laffra, Method for determining reachable methods in object-oriented applications that use class libraries ,(1998)
Uwe Hansmann, Frank Seliger, Method and system for securely handling information between two information processing devices ,(1999)
Ayal Zaks, Vitaly Feldman, Nava Aizikowitz, Method for identifying calls in Java packages whose targets are guaranteed to belong to the same package ,(2000)