新一代计算,第6卷
1988年第6卷第1期
Kazuhiro Fuchi先生 :
一个新的开始。 1-2 F.A.穆尔津 , V.A.斯拉夫 :
并行计算机的内存组织。 3-18 埃森·奥兹卡拉汉 , Cem H.Bozsahin公司 :
使用数据空间分区的连接策略。 19-39 维克托·雷沃德·史密斯 , 杰夫·P·麦考恩 , F.沃伦·伯顿 :
一般问题求解算法及其实现。 41-66
第6卷,编号2和3,1988
Dines Björner餐厅 :
专题序言(部分评估和混合计算)。 77-78 安德烈·埃尔肖夫 :
开场主旨演讲。 79-86 尼尔·D·琼斯 :
科学前言。 87-90 藤田浩史 , 古川光一 :
一种自适用的部分求值器及其在增量编译中的应用。 91-118 大卫·A·富勒 , 萨姆森·阿布拉姆斯基 :
Prolog程序的混合计算。 119-141 古川光一 , 大村明彦(Akira Okumura) , 村上正树 :
GHC计划的展开规则。 143-157 约翰·加拉赫 , 迈克尔·科迪什 , 胡德·沙皮罗 :
使用抽象解释的Prolog和FCP程序的专业化。 159-186 劳伦特·哈斯科 :
使用推理规则进行部分求值。 187-209 阿伦·拉科蒂亚 , 利昂·斯特林 :
用子句连接编写递归逻辑程序。 211-225 乔治·李维 , 朱塞佩·萨杜 :
“多世界”逻辑语言中元程序的部分评估。 227-247 恰基·萨卡马 , 伊藤秀内里 :
演绎数据库中查询的部分求值。 249-258 秋川武内 , 藤田浩史 :
竞争性部分评估——部分评估的一些遗留问题。 259-277 拉夫·文肯 , 巴特·德梅恩 :
Prolog的部分评估系统:一些实际考虑。 279-290 尼尔·D·琼斯 :
部分评估和混合计算中的挑战性问题。 291-302 托本。 莫根森 , 卡斯滕·凯勒-霍尔斯特 :
术语。 新一代。 计算。 6 ( 2&3 ) : 303-307 ( 1988 ) 彼得·塞斯托夫特 , 亚历山大·萨姆林 :
部分评估和混合计算注释书目。 新一代。 计算。 6 ( 2&3 ) : 309-354 ( 1988 )
1989年第4期第6卷
横井俊雄 :
前言:优先考虑“信息导向技术”而非“计算导向技术”。 359-360 Luca控制台 , 吉安弗兰科·罗西 :
使用Prolog构建混合知识表示系统Frog。 361-388 蒂夫-格雷戈里 , 伊恩·福斯特 , 阿拉斯泰尔·D·伯特 , 格雷姆·林伍德 :
在单处理器上实现PARLOG的抽象机。 389-420 佐藤泰辅 , 田木久雄 :
存在延续。 421-438