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 条

[11] Structural versus Pipeline Composition of Higher-Order Functions (Experience Report) [J].

Rivera, Elijah ;

Krishnamurthi, Shriram .

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (ICFP)

[12] Mining the use of higher-order functions:An exploratory study on Scala programs [J].

Yisen Xu ;

Fan Wu ;

Xiangyang Jia ;

Lingbo Li ;

Jifeng Xuan .

Empirical Software Engineering, 2020, 25 :4547-4584

[13] Local higher-order fixpoint iteration [J].

Bruse, Florian ;

Kreiker, Joerg ;

Lange, Martin ;

Saelzer, Marco .

INFORMATION AND COMPUTATION, 2022, 289

[14] On the Expressive Power of Programming Languages for Generative Design The Case of Higher-Order Functions [J].

Leitao, Antonio ;

Proenca, Sara .

FUSION: DATA INTEGRATION AT ITS BEST, VOL 1, 2014, :257-266

[15] Hierarchical Processing for Evolving Recursive and Modular Programs Using Higher-Order Functions and Lambda Abstraction [J].

Tina Yu .

Genetic Programming and Evolvable Machines, 2001, 2 (4) :345-380

[16] A higher-order function approach to evolve recursive programs [J].

Yu, T .

GENETIC PROGRAMMING THEORY AND PRACTICE III, 2006, 9 :93-108

[17] Higher-Order Type-Level Programming in Haskell [J].

Kiss, Csongor ;

Field, Tony ;

Eisenbach, Susan ;

Jones, Simon Peyton .

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (ICFP)

[18] Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency [J].

Turon, Aaron ;

Dreyer, Derek ;

Birkedal, Lars .

ACM SIGPLAN NOTICES, 2013, 48 (09) :377-390

[19] Representation and generation of space-filling curves: a higher-order functional approach [J].

Rad, Hossein Narimani ;

Karimipour, Farid .

JOURNAL OF SPATIAL SCIENCE, 2021, 66 (03) :459-479

[20] Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation [J].

Krawiec, Faustyna ;

Jones, Simon Peyton ;

Krishnaswami, Neel ;

Ellis, Tom ;

Eisenberg, Richard A. ;

Fitzgibbon, Andrew .

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (POPL)