On the power of higher-order algebraic specification methods

被引：5
|
作者：
Kosiuczenko, P [1 ]
Meinke, K [1 ]
机构：
[1] UNIV COLL SWANSEA,DEPT COMP SCI,SWANSEA SA2 8PP,W GLAM,WALES
来源：
INFORMATION AND COMPUTATION | 1996年 / 124卷 / 01期
关键词：
D O I：
10.1006/inco.1996.0007
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Soundness and adequacy theorems are presented for the expressive power of higher-order initial algebra specifications with respect to the arithmetical and analytical hierarchies. These results demonstrate that higher-order initial algebra semantics substantially extends the power of both first-order initial and first-order final algebra semantics. It thus provides a unifying framework for all three different approaches to the semantics of algebraic specifications. (C) 1996 Academic Press, Inc.
引用
收藏
页码：85 / 101
页数：17
相关论文
共 50 条
  • [31] On the Higher Power Sums of Reciprocal Higher-Order Sequences
    Wu, Zhengang
    Zhang, Jin
    SCIENTIFIC WORLD JOURNAL, 2014,
  • [32] Algebraic higher-order nets: Graphs and Petri nets as tokens
    Hoffmann, K
    Mossakowski, T
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 2003, 2755 : 253 - 267
  • [33] Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects
    Bach Poulsen C.
    Van Der Rest C.
    Proceedings of the ACM on Programming Languages, 2023, 7 : 1801 - 1831
  • [34] Intersection type assignment systems with higher-order algebraic rewriting
    Barbanera, Franco
    Fernandez, Maribel
    1996, Elsevier Science B.V., Amsterdam, Netherlands (170) : 1 - 2
  • [35] An algebraic multigrid method for higher-order finite element discretizations
    Shu, S.
    Sun, D.
    Xu, J.
    COMPUTING, 2006, 77 (04) : 347 - 377
  • [36] GENERALIZING THE ALGEBRAIC RICCATI EQUATION TO HIGHER-ORDER BEHAVIORAL SYSTEMS
    Bruell, Tobias
    SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 2013, 51 (03) : 2544 - 2567
  • [37] An Algebraic Multigrid Method for Higher-order Finite Element Discretizations
    S. Shu
    D. Sun
    J. Xu
    Computing, 2006, 77 : 347 - 377
  • [38] Algebraic and Higher-Order Differential Cryptanalysis of Pyjamask-96
    Dobraunig, Christoph
    Rotella, Yann
    Schoone, Jan
    IACR TRANSACTIONS ON SYMMETRIC CRYPTOLOGY, 2020, 2020 (01) : 289 - 312
  • [39] Algebraic H∞ design of higher-order iterative learning controllers
    Moore, KL
    Chen, YQ
    Ahn, HS
    2005 IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT CONTROL & 13TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION, VOLS 1 AND 2, 2005, : 1213 - 1218
  • [40] Linear-algebraic λ-calculus: Higher-order, encodings, and confluence
    Arrighi, Pablo
    Dowek, Gilles
    REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2008, 5117 : 17 - +
12345