×
安妮·伊丽莎白·哈克斯豪森

具有高阶函数的有序代数规范。 （英语） Zbl 0901.68127号

西奥。计算。科学。 183，第2期，157-185（1997）.
摘要：本文提出了一个如何用高阶函数扩展有序代数规范语言的建议。所采用的方法是对Möller、Tarlecki和Wirsing针对多分类情况给出的方法的有序分类情况的推广。该建议的主要思想是只考虑可达扩张代数。这导致了一个非常简单的理论，可以将高阶规范与一阶规范联系起来。

引用于2文件

MSC公司：

68问题65 抽象数据类型；代数规范

关键词：

有序代数规范；高阶函数；亚型；代数规范语言

软件：

落叶松；OBJ3型
PDF格式BibTeX公司 XML格式引用
\textit{A.E.Haxthausen}，Theor。计算。科学。183，第2号，157--185（1997；Zbl 0901.68127）
全文： 内政部

参考文献：

[1] Ehrig，H。；Mahr，B.，代数规范基础1，方程和初始语义，（EATCS理论计算机科学专著，第6卷（1985年），施普林格：施普林格柏林）·Zbl 0557.68013号
[2] Futatsugi，K。；J.戈根。；Jouannaud，J。；Meseguer，J.，《OBJ2原理》（第85届POPL会议，计算机协会（1985年）），第52-66页
[3] Goguen，J.，高阶编程不需要的高阶函数，（技术报告SRI-CSL-88-IR（1988），SRI Int）
[4] J.戈根。；Meseguer，J.，《有序代数I：多重继承、重载、异常和部分运算的等式推导》，Theoret。计算。科学。，105, 2, 217-273 (1992) ·Zbl 0778.68056号
[5] J.戈根。；温克勒，T。；梅塞盖尔，J。；Futatsugi，K。；Jouannaud，J.，《OBJ简介》（技术报告SRI-CSL-92-03（1992），SRI Int）
[6] Haxthausen，A.E.，《高阶函数代数规范》（技术报告ETL TR-94-18（1994），电工实验室）
[7] Haxthausen，A.E.，《高阶函数的有序代数规范》（Proc.AMAST’95）。程序。AMAST’95，计算机科学讲义，第936卷（1995），施普林格：施普林格柏林），133-151·Zbl 1496.68201号
[8] Kreowski，H。；Qian，Z.，《带内置胁迫子的关系排序代数规范：基本概念和结果》（Proc.STACS’90）。程序。STACS’90，《计算机科学讲义》，第415卷（1990），《施普林格：施普林格柏林》，165-175·Zbl 0729.68046号
[9] 新墨西哥州马丁·奥列特。；Meseguer，J.，《内含物和亚型》（技术报告SRI-CSL-90-16（1990），SRI Int）·Zbl 0931.03048号
[10] Meinke，K.，《高等类型的泛代数》，Theoret。计算。科学。，100, 2, 385-417 (1992) ·兹比尔0777.08008
[11] Möller，B.，《具有高阶运算的代数规范》，（《关于程序规范和转换的IFIP TC2工作会议记录》，北荷兰人，《关于程序规格和转换的IP2工作会议纪录》，北荷兰人，阿姆斯特丹（1986）），367-392
[12] Möller，B。；Tarlecki，A。；Wirsing，M.，可达高阶代数的代数规范，（抽象数据类型规范第五次研讨会，抽象数据类型规格第五次会议，计算机科学讲义，第332卷（1988），Springer:Springer-Berlin），154-169·Zbl 0659.68027号
[13] Möller，B。；Tarlecki，A。；Wirsing，M.，《具有内置域结构的代数规范》（CAAP’88号程序）。程序。CAAP’88，计算机科学讲义，第299卷（1988），施普林格：施普林格柏林），132-148·Zbl 0645.68027号
[14] Poigné，A.，《关于更高类型的规范、理论和模型》，Inform。控制68，1-46（1986）·Zbl 0591.68019号
[15] Qian，Z.，高阶有序代数，（Proc.Algebraic and Logic Programming，Proc.Algerbraic and逻辑学编程，计算机科学讲义，第463卷（1990年），Springer:Springer-Berlin），86-100·Zbl 1493.68093号
[16] RAISE规范语言，（BCS执业者系列（1992），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西州）·Zbl 1104.68360号
[17] Reynolds，J.，《使用范畴理论设计隐式转换和泛型运算符》，（Proc.Semantics-Directed Compiler Generation，Proc.Sementics-Directed Compiler Creation，计算机科学讲义，第94卷（1980），Springer:Springer Berlin），211-258
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。