Early Relational Reasoning and the Novice Programmer: Swapping as the Hello World of Relational Reasoning

被引：0
|
作者：
Corney, Malcolm [1 ]
Lister, Raymond [2 ]
Teague, Donna [1 ]
机构：
[1] Faculty of Science and Technology, Queensland University of Technology, Brisbane, QLD, Australia
[2] Faculty of Engineering and Information Technology, University of Technology, Sydney, Sydney, NSW, Australia
来源：
Conferences in Research and Practice in Information Technology Series | 2011年 / 114卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：95 / 104
相关论文
共 50 条
  • [31] Probabilistic Relational Reasoning for Differential Privacy
    Barthe, Gilles
    Koepf, Boris
    Olmedo, Federico
    Zanella Beguelin, Santiago
    POPL 12: PROCEEDINGS OF THE 39TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2012, : 97 - 109
  • [32] Relational reasoning in a nominal semantics for storage
    Benton, N
    Leperchey, B
    TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2005, 3461 : 86 - 101
  • [33] Visual Relational Reasoning for Image Caption
    Pei, Haolei
    Chen, Qiaohong
    Wang, Ji
    Sun, Qi
    Jia, Yubo
    2020 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), 2020,
  • [34] Approximate Relational Reasoning for Quantum Programs
    Yan, Peng
    Jiang, Hanru
    Yu, Nengkun
    COMPUTER AIDED VERIFICATION, PT III, CAV 2024, 2024, 14683 : 495 - 519
  • [35] Finding similarity in a model of relational reasoning
    Taylor, Eric G.
    Hummel, John E.
    COGNITIVE SYSTEMS RESEARCH, 2009, 10 (03) : 229 - 239
  • [36] Development of relational reasoning during adolescence
    Dumontheil, Iroise
    Houlton, Rachael
    Christoff, Kalina
    Blakemore, Sarah-Jayne
    DEVELOPMENTAL SCIENCE, 2010, 13 (06) : F15 - F24
  • [37] Structural Relational Reasoning of Point Clouds
    Duan, Yueqi
    Zheng, Yu
    Lu, Jiwen
    Zhou, Jie
    Tian, Qi
    2019 IEEE/CVF CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR 2019), 2019, : 949 - 958
  • [38] Uncertain relational reasoning in the parietal cortex
    Ragni, Marco
    Franzmeier, Imke
    Maier, Simon
    Knauff, Markus
    BRAIN AND COGNITION, 2016, 104 : 72 - 81
  • [39] Relational Reasoning via Probabilistic Coupling
    Barthe, Gilles
    Espitau, Thomas
    Gregoire, Benjamin
    Hsu, Justin
    Stefanesco, Leo
    Strub, Pierre-Yves
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, (LPAR-20 2015), 2015, 9450 : 387 - 401
  • [40] The Role of Representational System in Relational Reasoning
    Kottmeyer, Alexa M.
    Van Meter, Peggy N.
    Cameron, Chelsea E.
    JOURNAL OF EDUCATIONAL PSYCHOLOGY, 2020, 112 (02) : 288 - 307
12345