Datatype-generic reasoning

被引：0
|
作者：
Backhouse, Roland [1 ]
机构：
[1] Univ Nottingham, Sch Comp Sci & Informat Technol, Nottingham NG8 1BB, England
来源：
LOGICAL APPROACHES TO COMPUTATIONAL BARRIERS, PROCEEDINGS | 2006年 / 3988卷
关键词：
datatype; generic programming; relation algebra; allegory; programming methodology;
D O I：
10.1007/11780342_3
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Datatype-generic programs are programs that are parameterised by a datatype. Designing datatype-generic programs brings new challenges and new opportunities. We review the allegorical foundations of a methodology of designing datatype-generic programs. The effectiveness of the methodology is demonstrated by an extraordinarily concise proof of the well-foundedness of a datatype-generic occurs-in relation.
引用
收藏
页码：21 / 34
页数：14
相关论文
共 50 条
  • [1] Datatype-generic programming
    Gibbons, Jeremy
    [J]. DATATYPE-GENERIC PROGRAMMING, 2007, 4719 : 1 - +
  • [2] Datatype-Generic Termination Proofs
    Roland Backhouse
    Henk Doornbos
    [J]. Theory of Computing Systems, 2008, 43 : 362 - 393
  • [3] Datatype-Generic Termination Proofs
    Backhouse, Roland
    Doornbos, Henk
    [J]. THEORY OF COMPUTING SYSTEMS, 2008, 43 (3-4) : 362 - 393
  • [4] Arity-Generic Datatype-Generic Programming
    Weirich, Stephanie
    Casinghino, Chris
    [J]. PLPV'10: PROCEEDINGS OF THE 2010 ACM SIGPLAN WORKSHOP ON PROGRAMMING LANGUAGES MEETS PROGRAM VERIFICATION, 2010, : 15 - 26
  • [5] A lightweight approach to datatype-generic rewriting
    Van Noort, Thomas
    Yakushev, Alexey Rodriguez
    Holdermans, Stefan
    Jeuring, Johan
    Heeren, Bastiaan
    Magalhaes, Jose Pedro
    [J]. JOURNAL OF FUNCTIONAL PROGRAMMING, 2010, 20 : 375 - 413
  • [6] A Lightweight Approach to Datatype-Generic Rewriting
    van Noort, Thomas
    Rodriguez, Alexey
    Holdermans, Stefan
    Jeuring, Johan
    Heeren, Bastiaan
    [J]. WGP'08: PROCEEDINGS OF THE 2008 ACM SIGPLAN WORKSHOP ON GENERIC PROGRAMMING, 2008, : 13 - 24
  • [7] Datatype-Generic Programming Meets Elaborator Reflection
    Ko, Hsiang-Shang
    Chen, Liang-Ting
    Lin, Tzu-Chi
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (ICFP):
  • [8] A Formal Comparison of Approaches to Datatype-Generic Programming
    Magalhaes, Jose Pedro
    Loeh, Andres
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (76): : 50 - 67
  • [9] System F-omega with Equirecursive Types for Datatype-Generic Programming
    Cai, Yufei
    Giarrusso, Paolo G.
    Ostermann, Klaus
    [J]. ACM SIGPLAN NOTICES, 2016, 51 (01) : 30 - 43
  • [10] Constructing Datatype-Generic Fully Polynomial-Time Approximation Schemes Using Generalised Thinning
    Mu, Shin-Cheng
    Lyu, Yu-Han
    Morihata, Akimasa
    [J]. WGP 2010: PROCEEDINGS OF THE 2010 ACM SIGPLAN WORKSHOP ON GENERIC PROGRAMMING, 2010, : 97 - 108
12345