Department of Science Teaching Weizmann Institute of Science Rehovot 76100 Israel;
机译:使程序执行比机器语言高一级
机译:基于高级语言的计算环境,以支持可靠程序的产生和执行
机译:从程序执行到自动推理:将本体集成到编程语言中(Keynote)
机译:使程序执行比机器语言高一级
机译:视觉编程语言的实证研究:一个测试LabVIEW可理解性的实验。
机译:使用与机器无关的并行编程语言在工作站网络上进行分子动力学模拟。
机译:DEF-用于并行执行库例程的编程语言不可知框架和执行环境
机译:在NaREC计算机上执行LGp-30机器语言代码的程序