1) FMLI Form and Menu Language Interpreter
表单菜单语言解释程序〖UNIX〗
2) Simple PROMELA Interpreter(SPIN)
简单进程元语言解释器
1.
Model Checking is an efficient automatic technique for the improvement of system s reliability,and this paper is a research into how to check UML model through the Simple PROMELA Interpreter(SPIN)model-checker.
研究了使用简单进程元语言解释器(SPIN)对UML模型进行检测的方法。
3) command language interpreter
命令语言解释程序
4) control language interpreter
控制语言解释程序
5) variable language interpreter
可变语言解释程序
6) menu programs
菜单程序集
补充资料：BASIC语言(见程序设计语言)
BASIC语言(见程序设计语言)
BASIC
吕AS{CBASICyLJy〔1下〕语言(BASIC)见程序设计语言。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条