使用分子动力学编程解释器
摘要:PGA(程序代数)是关于程序的代数,涉及程序的最简形式:指令序列。分子动力学是在PGA环境下开发的一种简单的计算模型,涉及程序编程中动态数据结构的使用。我们考虑使用分子动力学的基本指令作为PGA的基本指令,编写一个接近现有汇编语言的程序符号的解释器。尽管它主要用于解释与动态数据结构使用相关的编程语言特性,但分子动力学的基本指令集本身适合我们的编程需求。
作者:J. A. Bergstra, C. A. Middelburg
论文ID:0801.2226
分类:Programming Languages
分类简称:cs.PL
提交时间:2008-04-08