Intentionally Fusing Direct Manipulations into SVG Programs
Αποθηκεύτηκε σε:
| Εκδόθηκε σε: | Information vol. 16, no. 3 (2025), p. 169 |
|---|---|
| Κύριος συγγραφέας: | |
| Άλλοι συγγραφείς: | , , |
| Έκδοση: |
MDPI AG
|
| Θέματα: | |
| Διαθέσιμο Online: | Citation/Abstract Full Text + Graphics Full Text - PDF |
| Ετικέτες: |
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 3181513675 | ||
| 003 | UK-CbPIL | ||
| 022 | |a 2078-2489 | ||
| 024 | 7 | |a 10.3390/info16030169 |2 doi | |
| 035 | |a 3181513675 | ||
| 045 | 2 | |b d20250301 |b d20250331 | |
| 084 | |a 231474 |2 nlm | ||
| 100 | 1 | |a Zan, Tao |u School of Mathematics and Information Engineering, Longyan University, Longyan 364012, China; <email>zan@lyun.edu.cn</email> | |
| 245 | 1 | |a Intentionally Fusing Direct Manipulations into SVG Programs | |
| 260 | |b MDPI AG |c 2025 | ||
| 513 | |a Journal Article | ||
| 520 | 3 | |a Bidirectional live programming is a programming paradigm that enhances the developer experience by allowing direct modifications to the output, with changes instantly reflected back to the source program. Existing operation-based approaches allow modifying the constant values and expressions of programs, while they lack control over modifications originating from multiple updatable locations. To control the updatability of the source program, our approach introduces non-updatable expressions, which guide the fusion of updates to the intended locations. The correctness properties, GetPut and WeakPutGet, ensure output consistency. We have implemented a prototype, FuseSVG, and tested it with 14 nontrivial SVG-drawing benchmarks, demonstrating the effectiveness of our approach. | |
| 653 | |a Language | ||
| 653 | |a Propagation | ||
| 653 | |a Variables | ||
| 653 | |a Source programs | ||
| 653 | |a Boolean | ||
| 653 | |a Semantics | ||
| 700 | 1 | |a Zhang, Xing |u School of Computer Science, Peking University, Beijing 100871, China | |
| 700 | 1 | |a He, Xiao |u School of Computer and Communication Engineering, University of Science and Technology of Beijing, Beijing 100083, China | |
| 700 | 1 | |a Hu, Zhenjiang |u School of Computer Science, Peking University, Beijing 100871, China | |
| 773 | 0 | |t Information |g vol. 16, no. 3 (2025), p. 169 | |
| 786 | 0 | |d ProQuest |t Advanced Technologies & Aerospace Database | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/3181513675/abstract/embedded/7BTGNMKEMPT1V9Z2?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text + Graphics |u https://www.proquest.com/docview/3181513675/fulltextwithgraphics/embedded/7BTGNMKEMPT1V9Z2?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text - PDF |u https://www.proquest.com/docview/3181513675/fulltextPDF/embedded/7BTGNMKEMPT1V9Z2?source=fedsrch |