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.
- Autodesk Inc.(1992),AutoLISP Release 12 Programmers Reference Manual.Google Scholar
- J. Backus (1978), Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs, Communications of the ACM Vol. 21, November 8 (ACM Turing Award Lecture), pp.613--641. Google ScholarDigital Library
- J. Backus, J.H. Williams, E.L. Wimmers (1990), An Introduction to the programming language FL, Research Topics in Functional Programming, D.A. Turner, Ed. Addison-Wesley, reading, Mass. Google ScholarDigital Library
- J. Backus, J.H. Williams, E.L. Wimmers, P. Lucas, A. Aiken (1989), FL Language manual, Parts 1 and 2. IBM Res. Rep. RJ 7100 (67163).Google Scholar
- O. Banyasad, P.T. Cox, Defining Behaviours for Solids in a Visual Design Environment, Proceedings of the 2002 IEEE Symposia on Human Centric Computing, pp 93--95. Google ScholarDigital Library
- O. Banyasad, P.T. Cox, Interpreting Lograph, Report CS-2003-03, Faculty of Computer Science, Dalhousie University, (2003).Google Scholar
- O. Banyasad, P.T. Cox, Implementing Lograph, Report CS-2001-05, Faculty of Computer Science, Dalhousie University, (2001).Google Scholar
- O. Banyasad, P.T. Cox, Solving Design Problems in a Logic-Based Visual Design Environment, Proceedings of the 2002 IEEE Symposia on Human Centric Computing, pp 90--92. Google ScholarDigital Library
- Bentley Systems Inc. (2001) MicroStation V8 User's Guide.Google Scholar
- A. Bossi, N. Cocco (1989), Verifying Correctness of LogicPrograms, Proceedings of TAPSOFT '89, vol.352, pp. 96--110. Springer-Verlag. Google ScholarDigital Library
- P.T. Cox, T. Pietrzykowski(1985) LOGRAPH: a graphical logic programming language, Proceedings IEEE COMPINT 85, Montreal, pp 145--151.Google Scholar
- P.T. Cox, T. Smedley, A Formal Model for Parametrised Solids in a Visual Design Language, Journal of Visual Languages and Computing, 6(6), Academic Press (2000), 687--710.Google Scholar
- P.T. Cox, T. Smedley, LSD: A Logic Based Visual Language for Designing Structured Objects, Journal of Visual Languages and Computing, v9, Academic Press (1998), 509--534.Google Scholar
- W. Espelage, E. Wanke(2000) The Combinatorial complexity of masterkeying, Mathematical Methods of Operations Research, 52:325--348.Google ScholarCross Ref
- J.S. Gero(1990), Design Prototypes: A knowledge Representation Schema for Design, AI Magazine, 11(4), pp. 26--36. Google ScholarDigital Library
- S.N. Gottschlich and A.C. Kak(1992), Amp-CAD An assembly motion planning system, Proc. IEEE International Conf. on Robotics and Automation, pp 2355--2360.Google Scholar
- J. Heisserman, R. Woodbury (1993), Generating Languages of Solid Models, Proc. of the Second ACM/IEEE Symposium on Solid Modeling and Applications, pp 103--112. Google ScholarDigital Library
- R.A. Kowalski(1979), Logic for problem solving, North-Holland. Google ScholarDigital Library
- L.R. Nackman, M.A. Lavin, R.H. Taylor, W.C. Dietrich, Jr., D.D. Grossman (1986), AML/X: A Programming Language for Design and Manufacturing, Proc. 1986 Fall Joint Computer Conference, pp145. Google ScholarDigital Library
- A. Paoluzzi, V. Pascucci, M. Vicentino, Geometric Programming: A Programming Approach to Geometric Design, ACM Transactions on Graphics, Vol. 14, No. 3, July 1995, pp 266--306. Google ScholarDigital Library
- A. Paoluzzi, C. Sansoni(1992), Programming language for solid variational geometry, Computer Aided Design, 24, 7, pp.349--366.Google ScholarCross Ref
- D. Pedreschi and S. Ruggieri(1999), Verification of Logic Programs. Journal of Logic Programming, 39 (1-3), pp.125--176.Google ScholarCross Ref
- R.J. Popplestone, A.P. Ambler and I. Bellos(1980), An Interpreter for a Language for Describing Assemblies, Artificial Intelligence, Vol. 14, No. 1, pp. 79--107.Google ScholarDigital Library
- A. Rau-Chaplin, B. MacKay-Lyons, and P. Spierenburg (1996), The LaHave House Project: Towards an Automated Architectural Design Service, Proceedings of the International Conference on Computer Aided Design (CAD EX '96 ), IEEE Computer Society Press, pp 25--31.Google Scholar
- D.N. Rocheleau and K. Lee(1987), System for interactive assembly modelling, Computer Aided Design, 19(2), pp. 65--72 Google ScholarCross Ref
- J.M. Snyder(1992), Generative modeling for computer graphics and CAD, Academic Press,London. Google ScholarDigital Library
- J.M. Snyder, J.T. Kajiya(1992), Generative modeling: a symbolic system for geometric modeling, ACM Siggraph, pp 369--378. Google ScholarDigital Library
- Standard VHDL Language Reference Manual -Std 1076- 1987. IEEE (1988).Google Scholar
- R.F. Stark (1996), Total Correctness of Logic Programs: A Formal Approach, Proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, pp. 237--254, Springer-Verlag, Lecture Notes in Artificial Intelligence 1050. Google ScholarDigital Library
- Swedish Institute of Computer Science (2002), SICStus Prolog User's Manual release 3.10.0.Google Scholar
Index Terms
- On translating geometric solids to functional expressions
Recommendations
Geometric programming: a programming approach to geometric design
This article presents a functional programming approach to geometric design with embedded polyhedral complexes. Its main goals are to show the expressive power of the language as well as its usefulness for geometric design. The language, named PLASM (...
Immutables in C++: Language Foundation for Functional Programming
Central European Functional Programming SchoolAbstractThe C++ programming language is a multiparadigm language, with a rich set of procedural, object-oriented, generative and, since C++11, functional language elements. The language is also well-known for its capability to map certain semantic ...
Using functional languages to facilitate C++ metaprogramming
WGP '12: Proceedings of the 8th ACM SIGPLAN workshop on Generic programmingTemplate and Preprocessor Metaprogramming are both well-known in the C++ community to have much in common with Functional Programming (FP). Recently, very few research threads on underpinning these commonalities have emerged to empower cross-development ...
Comments