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 条
  • [21] Specifying and reasoning about generic architecture in TCOZ
    Sun, J
    Dong, JS
    [J]. APSEC 2002: NINTH ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE, 2002, : 405 - 414
  • [22] GENERIC TASKS IN KNOWLEDGE-BASED REASONING
    THIBAULT, RC
    [J]. IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1987, 2 (02): : 5 - 5
  • [23] Reasoning with Generic Cases in the Arithmetic of Abstract Matrices
    Sexton, Alan P.
    Sorge, Volker
    Watt, Stephen M.
    [J]. INTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS, 2009, 5625 : 138 - +
  • [24] Generic Temporal Reasoning with Differential Analysis and Explanation
    Feng, Yu
    Zhou, Ben
    Wang, Haoyu
    Jin, Helen
    Roth, Dan
    [J]. PROCEEDINGS OF THE 61ST ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS (ACL 2023): LONG PAPERS, VOL 1, 2023, : 12013 - 12029
  • [25] Cache Impacts of Datatype Acceleration
    Wu, Lisa
    Kim, Martha A.
    Edwards, Stephen A.
    [J]. IEEE COMPUTER ARCHITECTURE LETTERS, 2012, 11 (01) : 21 - 24
  • [26] Datatype laws without signatures
    Fokkinga, Maarten M.
    [J]. Mathematical Structures in Computer Science, 1996, 6 (01): : 1 - 32
  • [27] Guarded recursive datatype constructors
    Xi, HW
    Chen, CY
    Chen, G
    [J]. ACM SIGPLAN NOTICES, 2003, 38 (01) : 224 - 235
  • [28] Analogical reasoning for reliability analysis based on generic data
    Riso Natl Lab, Roskilde, Denmark
    [J]. Reliab Eng Syst Saf, 1 (59-64):
  • [29] Analogical reasoning for reliability analysis based on generic data
    Kozin, IO
    [J]. RELIABILITY ENGINEERING & SYSTEM SAFETY, 1996, 54 (01) : 59 - 64
  • [30] Deliberative discourse and reasoning from generic argument structures
    Yearwood, John L.
    Stranieri, Andrew
    [J]. AI & SOCIETY, 2009, 23 (03) : 353 - 377
12345