排序方式: 共有60条查询结果,搜索用时 15 毫秒
1.
2.
3.
4.
5.
研究了ActiveX Scripting技术及其在继电保护装置整定计算系统中的应用,着重研究了通过脚本语言自定义整定计算原则的设计原理。本系统从根本上实现了继电保护保护装置和整定原则的自定义计算功能,具有很强的通用性、扩展性以及可移植性。 相似文献
6.
Christopher Anderson Paola Giannini 《Electronic Notes in Theoretical Computer Science》2005,138(2):37
JavaScript is a powerful imperative object based language made popular by its use in web pages. It supports flexible program development by allowing dynamic addition of members to objects. Code is dynamically typed: a runtime access to a non-existing member causes an error.We suggest a static type system for JavaScript that will detect such type errors. Therefore, programmers can benefit from the flexible programming style offered by JavaScript and from the safety offered by a static type system.We demonstrate our type system with a formalism of JavaScript, JS0. Our types are structural. Members of an object type are classified into definite and potential. A potential member becomes definite upon assignment. We outline a proof that our type system is sound. 相似文献
7.
8.
9.
10.