关键词:
函数
象林
对象树
地址空间
语义模型
功能性
摘要:
本文形式地塑造了函数式程序设计(FP)语言的一种功能性(operational)语义模型∑。它是一种二联体:∑=(Ω(A,P,Γ,I′,Z′)×Π(B,P,Γ,I′,Z′)×Ω(A∪D,P,Γ,I′,Z′)× W(F,R,G,J′,Y′),M),该二联体的前项是称之为状态集的一有限集,后项称为运控自动机。Ω(A,P,Γ,I′,Z′)、Π(B,P,Γ,I′,Z′)、Ω(A∪D,P,Γ,I′,Z′)、W(F,R,G,J′,Y′)分别是地址空间A上的对象树集、地址空间B上的对象林集、地址空间A∪D上的对象林集、地址空间F上的函数森集。它们相应地为下列各FP语言成分造了型:对象、对象参数、作用过程中作为工作量的对象和归约成的中间结果对象、诸函数(诸定义函数及直接作用于对象的函数)。运控自动机M以状态中函数森这一分量来对状态中对象树那一分量进行对象树的结构变换和对(对象树的)各树叶施行相应的种种运算。“一个具体的FP程序作用于一个具体的对象”这一计算,功能地可塑造成带初始状态(Ω,Π,Ω,W)的语义模型∑=(Ω(A,P,Γ,I′,Z′)×Π(B,P,Γ,I′,Z′)× Ω(A∪D,P,Γ,I′,Z′)× W(F,R,G,J′,Y′),M,(Ω,Π,Ω,W)),其中则Ω=Ω。 根据FP语言的功能性语义模型,可设计“实现FP语言的多微处理器复合体”的