过程性语义相关论文
Godel语言是继Prolog语言之后出现的逻辑程序设计语言，它建立在多态多类的一阶逻辑基础之上，摒弃了Prolog语言中的非逻辑成分，集成了......
逻辑程序设计是一种说明性程序设计方式，它将程序的逻辑和控制分开，程序员只需考虑逻辑描述部分，控制部分则完全交付语言的编译或解释......
G(o)del语言因语言成份复杂而缺乏严格的语义基础和成熟的编译器,因此推出后它一直发展缓慢.对此采用进化代数描述了其主要语言成......
本文对目前在处理复杂对象上的３种有代表性的逻辑语言进行了详细的综合分析，对比了它们在语法，语义及应用上的优优点。在此基础上提出......
Gdel语言因语言成份复杂而缺乏严格的语义基础和成熟的编译器,因此推出后它一直发展缓慢。对此采用进化代数描述了其主要语言成......
阐明了ＦＬＬ（ＦｕｚｚｙＬｏｇｉｃＬａｎｇｕａｇｅ）语言的说明性语义，并从过程性角度提出了ＦＬＬ的执行模式，为该语言的实现模型奠定了理论基础。......
