On translating geometric solids to functional expressions

Authors:
Omid Banyasad;Philip T. Cox
Affiliations:
Dalhousie University, Halifax, Nova Scotia, Canada;Dalhousie University, Halifax, Nova Scotia, Canada
Venue:
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Year:
2003

Citing 14
Cited 0

System for interactive assembly modelling

Computer-Aided Design
Design prototypes: a knowledge representation schema for design

AI Magazine
An introduction to the programming language FL

Research topics in functional programming
Generative modeling for computer graphics and CAD: symbolic shape design using interval analysis

Generative modeling for computer graphics and CAD: symbolic shape design using interval analysis
Generative modeling: a symbolic system for geometric modeling

SIGGRAPH '92 Proceedings of the 19th annual conference on Computer graphics and interactive techniques
Generating languages of solid models

SMA '93 Proceedings on the second ACM symposium on Solid modeling and applications
Geometric programming: a programming approach to geometric design

ACM Transactions on Graphics (TOG)
AML/X: a programming language for design and manufacturing

ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM
Logic for Problem Solving

Logic for Problem Solving
Verifying Correctness of Logic Programs

TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages
Total Correctness of Logic Programs: A Formal Approach

ELP '96 Proceedings of the 5th International Workshop on Extensions of Logic Programming
Defining Behaviours for Solids in a Visual Design Environment

HCC '02 Proceedings of the IEEE 2002 Symposia on Human Centric Computing Languages and Environments (HCC'02)
Solving Design Problems in a Logic-Based Visual Design Environment

HCC '02 Proceedings of the IEEE 2002 Symposia on Human Centric Computing Languages and Environments (HCC'02)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Language for Structured Design (LSD)is a high level, visual, logic programming language for design of structured objects. LSD combines the design and programming activities in a homogeneous programming/design environment by extending Lograph, a visual logic programming language, with the notion of solids and operations on them. At the back-end, however, a solid modeling kernel for maintaining low level description of solids and operations is required.In this paper, we report on our progress towards employing PLaSM, a functional programming language for solid modeling, as the solid modeling kernel of LSD. This is achieved through the use of a translator engine which transforms the high level object description produced by LSD programs to PLaSM programs.