Aish, Robert, Fisher, Al, Orchard, Dominic A., Torry, Jay (2024) Programming Languages for the Future of Design Computation. In: Onward! '24: Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. . Association for Computing Machinery ISBN 979-8-4007-1215-9. (doi:10.1145/3689492.3689812) (KAR id:107186)
PDF
Publisher pdf
Language: English
This work is licensed under a Creative Commons Attribution 4.0 International License.
|
|
Download this file (PDF/8MB) |
Preview |
Request a format suitable for use with assistive technology e.g. a screenreader | |
PDF
Author's Accepted Manuscript
Language: English
This work is licensed under a Creative Commons Attribution 4.0 International License.
|
|
Download this file (PDF/8MB) |
Preview |
Request a format suitable for use with assistive technology e.g. a screenreader | |
Official URL: https://doi.org/10.1145/3689492.3689812 |
Abstract
Design Computation is the use of programming in the design of physical systems such as buildings and infrastructure. This involves embedding both general-purpose textual languages and domain-specific visual languages within geometry modelling and engineering applications used in the construction industry. A unique form of entry-level end-user programming has emerged in Design Computation; however, there are significant usability and representational issues. General-purpose languages present barriers to adoption, while visual languages lower these barriers but do not scale to complex design problems in architecture and engineering.
In this essay, we explore how recent advances in programming language research can be harnessed in future Design Computation languages to address these pedagogic, representational and scaling issues so as to improve human-readable program structure and semantics and to facilitate machine-readable program verification. This essay addresses the question: ‘How can innovation in programming languages support innovation in architecture and engineering?’
Item Type: | Conference or workshop item (Proceeding) |
---|---|
DOI/Identification number: | 10.1145/3689492.3689812 |
Uncontrolled keywords: | Design Computation, Programming Languages, Visual Languages, End-User Programming, Cognitive Dimensions, Usability, Collaborative Coding, Type Systems, Units of Measure, Collection Types, Program Verification |
Subjects: | Q Science > QA Mathematics (inc Computing science) |
Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
Funders: | Engineering and Physical Sciences Research Council (https://ror.org/0439y7842) |
Depositing User: | Dominic Orchard |
Date Deposited: | 10 Sep 2024 16:30 UTC |
Last Modified: | 21 Nov 2024 15:49 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/107186 (The current URI for this page, for reference purposes) |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):