米歇尔·布格列西;乔治·德尔扎诺;路易吉·利科里;Maurizio Martelli 线性逻辑中的对象计算。 (英语) Zbl 0955.68025号 J.日志。计算。 10,第1期,75-104(2000). 摘要:最近的文献中研究了一些对象计算,它们支持基于对象语言的核心特征:消息、继承、动态调度、对象更新和对象扩展。我们表明,这些特征的完整语义描述可以在高阶线性逻辑片段中给出。 引用于1文件 MSC公司: 68甲19 其他编程范式(面向对象、顺序、并发、自动等) 03B70号 计算机科学中的逻辑 68N17号 逻辑编程 关键词:基于对象的语言;动态调度;对象扩展;高阶线性逻辑 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人,J.Log。计算。10,编号1,75--104(2000;Zbl 0955.68025) 全文: 内政部 哈尔