Order-sorted algebraic specifications with higher-order functions

被引：4

作者：

Haxthausen, AE

机构：

[1] Department of Information Technology, Technical University of Denmark, Bldg. 344

来源：

THEORETICAL COMPUTER SCIENCE | 1997年 / 183卷 / 02期

关键词：

order-sorted algebraic specification; higher-order functions; subtypes;

D O I：

10.1016/S0304-3975(96)00323-4

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This paper gives a proposal for how order-sorted algebraic specification languages can be extended with higher-order functions. The approach taken is a generalisation to the order-sorted case of an approach given by Moller, Tarlecki and Wirsing for the many-sorted case. The main idea in the proposal is to only consider reachable extensional algebras. This leads to a very simple theory, where it is possible to relate the higher-order specifications to first-order specifications.

引用

页码：157 / 185

页数：29

共 27 条

[21] On the Performance of new Higher Order Transformation Functions for Highly Efficient Dense Layers [J].

Atharva Gundawar ;

Srishti Lodha ;

V. Vijayarajan ;

Balaji Iyer ;

V. B. Surya Prasath .

Neural Processing Letters, 2023, 55 :10655-10668

[22] On the Performance of new Higher Order Transformation Functions for Highly Efficient Dense Layers [J].

Gundawar, Atharva ;

Lodha, Srishti ;

Vijayarajan, V. ;

Iyer, Balaji ;

Prasath, V. B. Surya .

NEURAL PROCESSING LETTERS, 2023, 55 (08) :10655-10668

[23] Writing Tests for This Higher-Order Function First Automatically Identifying Future Callings to Assist Testers [J].

Xu, Yisen ;

Jia, Xiangyang ;

Xuan, Jifeng .

11TH ASIA-PACIFIC SYMPOSIUM ON INTERNETWARE (INTERNETWARE 2019), 2019,

[24] A higher-order stress-based gradient-enhanced damage model based on isogeometric analysis [J].

Tran Quoc Thai ;

Rabczuk, Timon ;

Bazilevs, Yuri ;

Meschke, Guenther .

COMPUTER METHODS IN APPLIED MECHANICS AND ENGINEERING, 2016, 304 :584-604

[25] Functional prototypes for generic C++ libraries: a transformational approach based on higher-order, typed signatures [J].

Lincke, Daniel ;

Schupp, Sibylle ;

Ionescu, Cezar .

INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2015, 17 (01) :91-105

[26] Functional prototypes for generic C++ libraries: a transformational approach based on higher-order, typed signatures [J].

Daniel Lincke ;

Sibylle Schupp ;

Cezar Ionescu .

International Journal on Software Tools for Technology Transfer, 2015, 17 :91-105

[27] Autoregressive Higher-Order Hidden Markov Models: Exploiting Local Chromosomal Dependencies in the Analysis of Tumor Expression Profiles [J].

Seifert, Michael ;

Abou-El-Ardat, Khalil ;

Friedrich, Betty ;

Klink, Barbara ;

Deutsch, Andreas .

PLOS ONE, 2014, 9 (06)

← 1 2 3 →