首页>
外国专利>
TYPE ERROR CHECKER FOR TYPE-FREE OR POLYMORPHIC COMPUTER LANGUAGE
TYPE ERROR CHECKER FOR TYPE-FREE OR POLYMORPHIC COMPUTER LANGUAGE
展开▼
机译:无类型或多态计算机语言的类型错误检查器
展开▼
页面导航
摘要
著录项
相似文献
摘要
A system and method for a run-time type error checking in a program prior to running the program whose source code is written in a programming language with imperative constructs and polymorphic procedures is disclosed. To accomplish the above type error checking, the source code (28) is translated into intermediate form representations (30) by an intermediate form translator (26). In addition to the intermediate form representations (30), type representations (36) which include predetermined types such as a locking type constructor and an unlocking type constructor are utilized in detecting the run-time type error. When both intermediate form representations (30) and the type representations (36) are used and the source code (28) is determined to have no run-time type error prior to running the program according to the current invention, it is guaranteed that the program will run without any run-time type error.
展开▼