Variable type knowledge based call specialization
作者： Christopher Arthur Lattner , Victor Leonel Hernandez Porras , Pratik Solanki , Eric Marshall Christopher , Thomas John O'Brien
DOI:
关键词:
摘要: Variable type knowledge based call specialization is disclosed. An indication received that a variable an argument of function or operation the behavior which depends at least in part on data first type. Machine code implements corresponds to type, but not second other than generated for operation.
lens.org 参考文章(9)
Andrew Gordon, Donald Syme, Jonathon Forbes, Vance P. Morrison, Verifier to check intermediate language ,(2003)
Lee Richard Nackman, John Joseph Barton, Derek Lieber, David Joseph Streeter, Michael Karasick, Incremental compilation of c++ programs ,(1997)
Larry Alexander Lindsay, Ying Chau Raymond Mak, Wang Dong Chen, Parameter management using compiler directives ,(2007)
Paul Del Vigna, Mark E. Molloy, Kristy A. Andrews, Method and apparatus for translating source code from one high-level computer language to another ,(1994)
George H. Bosworth, Daryl B. Olander, James S. Miller, Patrick H. Dussud, Unified data type system and method ,(2001)
John R. Allen, James G. Peterson, Weng-Kiang Tjiang, Inferencing types of variables in a dynamically typed language ,(2007)
Johan Eker, Carl Von Platen, Björn Johansson, Obfuscating computer program code ,(2007)
Juan Chen, Typed intermediate language support for existing compilers ,(2007)