首页>
外国专利>
Programming language type system with automatic conversions
Programming language type system with automatic conversions
展开▼
机译:具有自动转换功能的编程语言类型系统
展开▼
页面导航
摘要
著录项
相似文献
摘要
A programming language type system includes, in a memory, a set of numeric type including integer types, fixed-point types and floating-point types, a set of type propagation rules to automatically determine result types of any combination of integer types, fixed-point types and floating-point types, constant annotations to explicitly specify a result type of a literal constant, context-sensitive constants whose type is determined from a context of a constant according to the set of type propagation rules, an assignment operator to explicitly specify a type of a value or computation, and operator annotations to explicitly specify a result type of a computation.
展开▼