Type checking for object-oriented programming languages
作者： Peng Guo , Xiaohua Shi
DOI:
关键词:
摘要: Type checking between an object class and a target may comprise getting header from object, the result of first time type specified by hotspot in checking.
lens.org 参考文章(44)
Michael Lai, Julie Wang, Alice Kwong, Optimization of garbage collection code in the context of raw native interface function calls in the java programming language ,(1999)
David Tarditi, Juan Chen, Type checker for a typed intermediate representation of object-oriented languages ,(2005)
Omid Sojoodi, Steven W. Rogers, System and method for performing class checking of objects in a graphical data flow program ,(1996)
Stephan Sokolov, Type checking in java computing environments ,(2002)
Kay A. Neuenhofen, Fingerprint subtype checking ,(2003)
John Gerard Nistler, Mark Douglas Schroeder, Determining how many class-type checks to inline ,(2003)
Vladimir Fedorov, Single pass intermediate language verification algorithm ,(2002)
Judith E. Schwabe, Joshua B. Susser, Object-oriented instruction set for resource-constrained devices ,(2000)
Xiao Feng Li, A method for implementing fast type checking ,(2002)
Ali-Reza Adl-Tabatabai, Tatiana Shpeisman, Guei-Yuan Lueh, Method for implementing dynamic type checking ,(2002)