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 条
  • [31] A Rewriting Semantics for a Software Architecture Description Language
    Rademaker, Alexandre
    Braga, Christiano
    Sztajnberg, Alexandre
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 130 : 345 - 377
  • [32] Metric Denotational Semantics for Parallel Rewriting of Multisets
    Ciobanu, Gabriel
    Todoran, Eneia Nicolae
    13TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2011), 2012, : 276 - 283
  • [33] Memory Representations in Rewriting Logic Semantics Definitions
    Hills, Mark
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 238 (03) : 155 - 172
  • [34] Rewriting Logic Semantics of a Plan Execution Language
    Dowek, Gilles
    Munoz, Cesar
    Rocha, Camilo
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (18): : 77 - 91
  • [35] Maximally Parallel Probabilistic Semantics for Multiset Rewriting
    Barbuti, Roberto
    Levi, Francesca
    Milazzo, Paolo
    Scatena, Guido
    FUNDAMENTA INFORMATICAE, 2011, 112 (01) : 1 - 17
  • [36] Rewriting Logic Semantics and Verification of Model Transformations
    Boronat, Artur
    Heckel, Reiko
    Meseguer, Jose
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 5503 : 18 - +
  • [37] PROGRAM TRANSFORMATION AND REWRITING
    BELLEGARDE, F
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 488 : 226 - 239
  • [38] A Symbolic Rewriting Semantics of the COMPASS Modeling Language
    Alturki, Musab A.
    2017 IEEE 18TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IEEE IRI 2017), 2017, : 283 - 290
  • [39] Operational Semantics and Rewriting Logic in Membrane Computing
    Andrei, Oana
    Lucanu, Dorel
    Ciobanu, Gabriel
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 156 (01) : 57 - 78
  • [40] Controlled fuzzy parallel rewriting
    Asveld, PRJ
    NEW TRENDS IN FORMAL LANGUAGES: CONTROL, COOPERATION, AND COMBINATORICS, 1997, 1218 : 49 - 70