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 条
  • [41] Continuation Semantics for Concurrency Applied to Parallel Rewriting of Multisets
    Ciobanu, Gabriel
    Todoran, Eneia Nicolae
    12TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2010), 2011, : 387 - 391
  • [42] Semantics and strong sequentiality of priority term rewriting systems
    Sakai, M
    Toyama, Y
    REWRITING TECHNIQUES AND APPLICATIONS, 1996, 1103 : 377 - 391
  • [43] Contextual ECATNets semantics in terms of conditional rewriting logic
    Zeghib, N.
    Barkaoui, K.
    Bettaz, M.
    2006 IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1-3, 2006, : 935 - +
  • [44] Query Rewriting for DL Ontologies Under the ICAR Semantics
    Trivela, Despoina
    Stoilos, Giorgos
    Vassalos, Vasilis
    RULES AND REASONING (RULEML+RR 2019), 2019, 11784 : 144 - 158
  • [45] Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits
    Katelman, Michael
    Keller, Sean
    Meseguer, Jose
    REWRITING LOGIC AND ITS APPLICATIONS, 2010, 6381 : 140 - +
  • [46] Semantics and strong sequentiality of priority term rewriting systems
    Graduate School of Engineering, Nagoya University, Furo-cho, Chikusa, Nagoya 464-01, Japan
    不详
    Theor Comput Sci, 1-2 (87-110):
  • [47] Partial Order Reduction for Rewriting Semantics of Programming Languages
    Farzan, Azadeh
    Meseguer, Jose
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 176 (04) : 61 - 78
  • [48] A rewriting logic framework for operational semantics of membrane systems
    Andrei, Oana
    Ciobanu, Gabriel
    Lucanu, Dorel
    THEORETICAL COMPUTER SCIENCE, 2007, 373 (03) : 163 - 181
  • [49] A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
    Serbanuta, Traian Florin
    Rosu, Grigore
    Meseguer, Jose
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 192 (01) : 125 - 141
  • [50] Relating Two Metric Semantics for Parallel Rewriting of Multisets
    Ciobanu, Gabriel
    Todoran, Eneia Nicolae
    14TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2012), 2012, : 273 - 280