Xiaozhu Kang, Hui Zhang, et al.
ICWS 2008
Network Implementation Language (NIL) is a high-level programming language currently being used for the implementation of prototype communication systems. NIL is designed for writing executable architecture which can be compiled into efficient code for the different machines and run-time environments of a family of communicating products. NIL's distinctive features include (1) high-level primitive type families supporting constructs needed for concurrent systems, (2) facilities for decomposition of a system into modules which can be dynamically installed and interconnected, (3) compile-time typestate checking - a mechanism for enhancing language security without incurring large execution-time overhead.
Xiaozhu Kang, Hui Zhang, et al.
ICWS 2008
B.K. Boguraev, Mary S. Neff
HICSS 2000
Hang-Yip Liu, Steffen Schulze, et al.
Proceedings of SPIE - The International Society for Optical Engineering
Yigal Hoffner, Simon Field, et al.
EDOC 2004