Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/22656
Title: | Embedded languages for origami-based geometry |
Authors: | Caruana, Gaetano Pace, Gordon J. |
Keywords: | Embedded computer systems Architecture Analysis and Design Language Haskell (Computer program language) Modeling languages (Computer science) |
Issue Date: | 2017 |
Publisher: | University of Malta. Faculty of ICT |
Citation: | Caruana, G., & Pace, G. J. (2017). Embedded languages for origami-based geometry. 5th Computer Science Annual Workshop (CSAW’07), Msida. 99-109. |
Abstract: | Embedded languages have been used to support compositional descriptions for various domains. In this paper, we look at the domain of paper folding, or Origami-based geometry, in which sequences of paper folding are used to describe points and lines on the plane. Based on seven basic origami axioms, we design and develop an embedded domain specific language for the descriptions of such constructions in Haskell. We argue that the embedded language approach, that is composing a model using the basic constructors in the domain specific language, gives a compositional and concise way to describe Origami models. We look into analysis, manipulation and generation of origami models using this approach, including textual explanations of models, analysis of models to discover inherent preconditions (or constraints) in a description and basic animation of the folding of a model. Finally, we look into the tagging of blocks within a construction, enabling different evaluations at various levels of abstraction according to the user’s knowledge of Origami. |
URI: | https://www.um.edu.mt/library/oar//handle/123456789/22656 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Proceedings of CSAW’07 - A10.pdf | 130.08 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.