• Medientyp: Sonstige Veröffentlichung; Elektronischer Konferenzbericht; E-Artikel
  • Titel: Programming Language Tools and Techniques for 3D Printing
  • Beteiligte: Nandi, Chandrakana [VerfasserIn]; Caspi, Anat [VerfasserIn]; Grossman, Dan [VerfasserIn]; Tatlock, Zachary [VerfasserIn]
  • Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
  • Sprache: Englisch
  • DOI: https://doi.org/10.4230/LIPIcs.SNAPL.2017.10
  • Schlagwörter: synthesis ; compilers ; 3D printing ; verification ; desktop manufacturing ; rapid prototyping
  • Entstehung:
  • Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Beschreibung: We propose a research agenda to investigate programming language techniques for improving affordable, end-user desktop manufacturing processes such as 3D printing. Our goal is to adapt programming languages tools and extend the decades of research in industrial, high-end CAD/CAM in order to help make affordable desktop manufacturing processes more accurate, fast, reliable, and accessible to end-users. We focus on three major areas where 3D printing can benefit from programming language tools: design synthesis, optimizing compilation, and runtime monitoring. We present preliminary results on synthesizing editable CAD models from difficult-to-edit surface meshes, discuss potential new compilation strategies, and propose runtime monitoring techniques. We conclude by discussing additional near-future directions we intend to pursue.
  • Zugangsstatus: Freier Zugang