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] An algebraic multigrid method for higher-order finite element discretizations
    Shu, S.
    Sun, D.
    Xu, J.
    COMPUTING, 2006, 77 (04) : 347 - 377
  • [33] MEROMORPHIC AND ALGEBROID SOLUTIONS OF HIGHER-ORDER ALGEBRAIC DIFFERENTIAL EQUATIONS
    肖修治
    何育赞
    Science China Mathematics, 1983, (10) : 1034 - 1043
  • [34] Systems with higher-order shape invariance: spectral and algebraic properties
    Andrianov, A
    Cannata, F
    Ioffe, M
    Nishnianidze, D
    PHYSICS LETTERS A, 2000, 266 (4-6) : 341 - 349
  • [35] 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
  • [36] Intersection type assignment systems with higher-order algebraic rewriting
    Barbanera, Franco
    Fernandez, Maribel
    1996, Elsevier Science B.V., Amsterdam, Netherlands (170) : 1 - 2
  • [37] Algebraic higher-order nets: Graphs and Petri nets as tokens
    Hoffmann, K
    Mossakowski, T
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 2003, 2755 : 253 - 267
  • [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