Fuzzy rewriting - Soft program semantics for children

被引:0
|
作者
Harada, Y
Potter, R
机构
关键词
visibility; rewriting systems; rule-based visual language;
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Rewriting systems are popular in end-user programming because complex behavior can be described with few or no abstractions or variables. However, rewriting systems have been limited to manipulating non-rotatable objects on a grid, such as in Agentsheets or Stagecast Creator. Systems that allow free-form movement of objects must use other techniques, such as the sequential programming by demonstration in Squeak. Viscuit is a new rewriting system that introduces fuzzy rewriting, which allows freely positioned and rotated objects to interact using only rewriting rules. The result is a system that allows users to specify animations in a highly interactive way, without textual language or menu selections.
引用
收藏
页码:39 / 46
页数:8
相关论文
共 50 条
  • [1] A REWRITING SEMANTICS FOR PROGRAM DEPENDENCE GRAPHS
    SELKE, RP
    CONFERENCE RECORD OF THE SIXTEENTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 1989, : 12 - 24
  • [2] A REWRITING LOGIC SEMANTICS APPROACH TO MODULAR PROGRAM ANALYSIS
    Hills, Mark
    Rosu, Grigore
    PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'10), 2010, 6 : 151 - 160
  • [3] From Rewriting Logic, to Programming Language Semantics, to Program Verification
    Rosu, Grigore
    LOGIC, REWRITING, AND CONCURRENCY, 2015, 9200 : 598 - 616
  • [4] The rewriting calculus as a semantics of ELAN
    Cirstea, H
    Kirchner, C
    ADVANCES IN COMPUTING SCIENCE-ASIAN' 98, 1998, 1538 : 84 - 85
  • [5] Localized fairness: A rewriting semantics
    Meseguer, J
    TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2005, 3467 : 250 - 263
  • [6] Modular Rewriting Semantics in Practice
    Braga, Christiano
    Meseguer, Jose
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 117 : 393 - 416
  • [7] A Rewriting Semantics for Maude Strategies
    Marti-Oliet, Narciso
    Meseguer, Jose
    Verdejo, Alberto
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 238 (03) : 227 - 247
  • [8] Logical Semantics for the Rewriting Calculus
    Stump, Aaron
    Schuermann, Carsten
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 125 (02) : 149 - 164
  • [9] A modular rewriting semantics for CML
    Chalub, F
    Braga, C
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2004, 10 (07) : 789 - 807
  • [10] The rewriting logic semantics project
    Meseguer, Jose
    Rosu, Grigore
    THEORETICAL COMPUTER SCIENCE, 2007, 373 (03) : 213 - 237