Type System
500
浏览
0
关注

In computer science, a type system is a system used with a programming language to help reduce bug (computer programming)|bugs in computer programs. A type system is used as part of defining interfaces between different parts of a computer program, and then checking that the parts have been connected in a consistent way. This is accomplished by extending the Syntax (programming languages)|syntax of the language to include some form that indicates a type (computer science)|type that a primitive value in the language can be associated with, along with a process for using the types to check that the parts have been connected in a consistent way. The checking can happen at various program lifecycle phases such as at compile time or at run time, or combinations. Because of the wide variation in languages, types systems have likewise wide variation, necessitating a somewhat lengthy summary to remain valid for all variations.In general, a computer program is made up of separate parts that...
[展开]
主要的会议/期刊
演化趋势
Chart will load here
Type System文章数量变化趋势

Feedback
Feedback
Feedback
我想反馈:
排行榜