{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,19]],"date-time":"2023-08-19T01:28:19Z","timestamp":1692408499749},"reference-count":45,"publisher":"Association for Computing Machinery (ACM)","issue":"3","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Graph."],"published-print":{"date-parts":[[1995,7]]},"abstract":"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 (the Programming LAnguage for Solid Modeling), introduces a very high level approach to \u201cconstructive\u201d or \u201cgenerative\u201d modeling. Geometrical objects are generated by evaluating some suitable language expressions. Because generating expressions can be easily combined, the language also extends the standard variational geometry approach by supporting classes of geometric objects with varying topology and shape. The design language PLASM can be roughly considered as a geometry-oriented extension of a subset of the functional language FL. The language takes a dimension-independent approach to geometry representation and algorithms. In particular it implements an algebraic calculus over embedded polyhedra of any dimension. The generated objects are always geometrically consistent because the validity of geometry is guaranteed at a syntactical level. Such an approach allows one to use a representation scheme which is weaker than those usually adopted in solid modelers, thus encompassing a broader geometric domain, which contains solids, surfaces, and wire-frames, as well as higher-dimensional objects.<\/jats:p>","DOI":"10.1145\/212332.212349","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T11:29:00Z","timestamp":1027769340000},"page":"266-306","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":30,"title":["Geometric programming"],"prefix":"10.1145","volume":"14","author":[{"given":"Alberto","family":"Paoluzzi","sequence":"first","affiliation":[{"name":"Terza Univ. di Roma, Rome, Italy"}]},{"given":"Valerio","family":"Pascucci","sequence":"additional","affiliation":[{"name":"Univ. La Sapienza, Rome, Italy"}]},{"given":"Michele","family":"Vicentino","sequence":"additional","affiliation":[{"name":"Univ. La Sapienza, Rome, Italy"}]}],"member":"320","published-online":{"date-parts":[[1995,7]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"PostScript Language Reference Manual","author":"ADOBE SYSTEM INCORP","unstructured":"ADOBE SYSTEM INCORP ORATED . 1985. PostScript Language Reference Manual . Addison-Wesley , Reading, Mass . ADOBE SYSTEM INCORPORATED. 1985. PostScript Language Reference Manual. Addison-Wesley, Reading, Mass."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359579"},{"key":"e_1_2_1_3_1","volume-title":"Research Topics in Functional Programming","author":"BACKUS J.","unstructured":"BACKUS , J. , WILLIAMS , J. H. , AND WlM MERS , E.L. 1990. An introduction to the programming language FL . In Research Topics in Functional Programming , D. A. Turner, Ed. Addison-Wesley, Reading , Mass . BACKUS, J., WILLIAMS, J. H., AND WlMMERS, E.L. 1990. An introduction to the programming language FL. In Research Topics in Functional Programming, D. A. Turner, Ed. Addison-Wesley, Reading, Mass."},{"key":"e_1_2_1_4_1","unstructured":"BACKUS J. WILLIAMS J. H. WIMMERS E. L. LUCAS P. AND AIKEN A. 1989. FL Language anual Parts I and 2. IBM Res. Rep. RJ 7100 (67163). BACKUS J. WILLIAMS J. H. WIMMERS E. L. LUCAS P. AND AIKEN A. 1989. FL Language anual Parts I and 2. IBM Res. Rep. RJ 7100 (67163)."},{"key":"e_1_2_1_5_1","first-page":"43","volume-title":"Proceedings of the ACM\/IEEE Second Symposium on Solid Modeling and Applications (Montreal), J. Rossignac, J. Turner, and G. Allen, Eds. ACM Press","author":"BERNARDINI F.","year":"1993","unstructured":"BERNARDINI , F. , FERRUCCI , V. , PAOLUZZI , A. , AND PASCUCCI , V. 1993 . A product operator on cell complexes . In Proceedings of the ACM\/IEEE Second Symposium on Solid Modeling and Applications (Montreal), J. Rossignac, J. Turner, and G. Allen, Eds. ACM Press , New York , 43 - 52 . 10.1145\/164360.164378 BERNARDINI, F., FERRUCCI, V., PAOLUZZI, A., AND PASCUCCI, V. 1993. A product operator on cell complexes. In Proceedings of the ACM\/IEEE Second Symposium on Solid Modeling and Applications (Montreal), J. Rossignac, J. Turner, and G. Allen, Eds. ACM Press, New York, 43-52. 10.1145\/164360.164378"},{"key":"e_1_2_1_6_1","first-page":"35","volume-title":"CSG'94 Set-Theoretic Solid Modelling Techniques and Applications","author":"BIERI H.","year":"1994","unstructured":"BIERI , H. 1994 . Boolean and topological operations for Nefpolyhedra . In CSG'94 Set-Theoretic Solid Modelling Techniques and Applications ( Winchester, U.K.), Information Geometers , 35 - 53 . BIERI, H. 1994. Boolean and topological operations for Nefpolyhedra. In CSG'94 Set-Theoretic Solid Modelling Techniques and Applications (Winchester, U.K.), Information Geometers, 35-53."},{"key":"e_1_2_1_7_1","volume-title":"Algorithms in Combinatorial Geometry","author":"EDELSBRUNNER H.","unstructured":"EDELSBRUNNER , H. 1987. Algorithms in Combinatorial Geometry . Springer-Verlag , New York . EDELSBRUNNER, H. 1987. Algorithms in Combinatorial Geometry. Springer-Verlag, New York."},{"key":"e_1_2_1_8_1","volume-title":"Computer-Aided Design. Fundamentals and System Architectures","author":"ENCARNA O, J","unstructured":"ENCARNA q~ O, J . L. AND SCHLECHTENDAHL , E.G. 1983. Computer-Aided Design. Fundamentals and System Architectures . Addison-Wesley , Reading, Mass . ENCARNAq~O, J. L. AND SCHLECHTENDAHL, E.G. 1983. Computer-Aided Design. Fundamentals and System Architectures. Addison-Wesley, Reading, Mass."},{"key":"e_1_2_1_9_1","volume-title":"1990. Engineering Databases","author":"ENCARNA Xo, J","unstructured":"ENCARNA q Xo, J . L. AND LOCKEMANN , P. C. , Eds. 1990. Engineering Databases , Springer-Verlag , Berlin . ENCARNAqXo, J. L. AND LOCKEMANN, P. C., Eds. 1990. Engineering Databases, Springer-Verlag, Berlin."},{"key":"e_1_2_1_10_1","volume-title":"Computer Graphics Principles and Practice","author":"FOLEY J. D.","unstructured":"FOLEY , J. D. , VAN DAM , A. , FEINER , S. K. , AND HUGHES , J. F. 1990. Computer Graphics Principles and Practice , Second Ed. Addison-Wesley , Reading, Mass . FOLEY, J. D., VAN DAM, A., FEINER, S. K., AND HUGHES, J. F. 1990. Computer Graphics Principles and Practice, Second Ed. Addison-Wesley, Reading, Mass."},{"key":"e_1_2_1_12_1","volume-title":"Advances in CAD\/CAM","author":"L1N","unstructured":"GossiP, D. C. AND L1N , V. 1983. Representation of part families through variational geometry . In Advances in CAD\/CAM , T. M. R. Ellis and O. I. Semenkov, Eds., North-Holland , Amsterdam . GossiP, D. C. AND L1N, V. 1983. Representation of part families through variational geometry. In Advances in CAD\/CAM, T. M. R. Ellis and O. I. Semenkov, Eds., North-Holland, Amsterdam."},{"key":"e_1_2_1_13_1","volume-title":"Functional Programming","author":"HENDERSON P.","unstructured":"HENDERSON , P. 1980. Functional Programming . Application and Implementation. C. A. R. Hoare, Series Ed. Prentice Hall International , UK. HENDERSON, P. 1980. Functional Programming. Application and Implementation. C. A. R. Hoare, Series Ed. Prentice Hall International, UK."},{"key":"e_1_2_1_15_1","volume-title":"EREP: An editable high-level representation for geometric design and analysis. Tech. Rep. CSD-TR-92.055, Dept. of Computer Sciences","author":"HOFFMANN C. M.","year":"1992","unstructured":"HOFFMANN , C. M. AND JUA n'% R. 1992 . EREP: An editable high-level representation for geometric design and analysis. Tech. Rep. CSD-TR-92.055, Dept. of Computer Sciences , Purdue University , West Lafayette, IN (Aug.). HOFFMANN, C. M. AND JUAn'% R. 1992. EREP: An editable high-level representation for geometric design and analysis. Tech. Rep. CSD-TR-92.055, Dept. of Computer Sciences, Purdue University, West Lafayette, IN (Aug.)."},{"key":"e_1_2_1_16_1","volume-title":"A Practical Introduction to PHIGS and PHIGS PLUS","author":"HOWARD T. L.","unstructured":"HOWARD , T. L. J., HEW l TT, W . T., HUBBOLD , R. J. , AND WYRWAS , K. M. 1991. A Practical Introduction to PHIGS and PHIGS PLUS . Addison-Wesley , Reading, Mass . HOWARD, T. L. J., HEWlTT, W. T., HUBBOLD, R. J., AND WYRWAS, K. M. 1991. A Practical Introduction to PHIGS and PHIGS PLUS. Addison-Wesley, Reading, Mass."},{"key":"e_1_2_1_17_1","volume-title":"Research Topics in Functional Programming","unstructured":"Hu(mEs, J. 1990. Why functional programming matters . In Research Topics in Functional Programming , D. A. Turner, Ed., Addison-Wesley , Reading, Mass . Hu(mEs, J. 1990. Why functional programming matters. In Research Topics in Functional Programming, D. A. Turner, Ed., Addison-Wesley, Reading, Mass."},{"key":"e_1_2_1_18_1","volume-title":"Dept. of Mathematics, Univ. of Oklahoma","author":"KA XV, M","unstructured":"KA kI~ XV, M . 1981. Convex huh algorithms in higher dimensions, unpublished manuscript , Dept. of Mathematics, Univ. of Oklahoma , Norman, Okla . KAkI~XV, M. 1981. Convex huh algorithms in higher dimensions, unpublished manuscript, Dept. of Mathematics, Univ. of Oklahoma, Norman, Okla."},{"key":"e_1_2_1_19_1","series-title":"Progress in Theoretical Computer Science Series","volume-title":"Linear Programming","author":"KA","unstructured":"KA m,Ob 'V , H. 1991. Linear Programming . Progress in Theoretical Computer Science Series , Birkhauser , Boston . KAm,Ob'V, H. 1991. Linear Programming. Progress in Theoretical Computer Science Series, Birkhauser, Boston."},{"key":"e_1_2_1_20_1","first-page":"10303","article-title":"Product Data Representation and Exchange Part 1 l","author":"ISO TECHNICA","year":"1992","unstructured":"ISO TECHNICA l, COMMITTEE 184\/SC4. 1992 . Product Data Representation and Exchange Part 1 l : The EXPRESS Language Reference Manual. ISO CD 10303 - 10311 . ISO Central Secretariat, Gen(wa, Switzerland, Sept. ISO TECHNICAl, COMMITTEE 184\/SC4. 1992. Product Data Representation and Exchange Part 1 l: The EXPRESS Language Reference Manual. ISO CD 10303-11. ISO Central Secretariat, Gen(wa, Switzerland, Sept.","journal-title":"The EXPRESS Language Reference Manual. ISO CD"},{"key":"e_1_2_1_21_1","series-title":"Series Ed","volume-title":"Partial Evaluation and Automatic Program Generation. C. A. R. Hoare","author":"JONES N. D.","unstructured":"JONES , N. D. , GOMARD , C. K. , AND SESTOI~ r, P. 1993. Partial Evaluation and Automatic Program Generation. C. A. R. Hoare , Series Ed , Prentice Hall International , UK. JONES, N. D., GOMARD, C. K., AND SESTOI~r, P. 1993. Partial Evaluation and Automatic Program Generation. C. A. R. Hoare, Series Ed, Prentice Hall International, UK."},{"key":"e_1_2_1_22_1","volume-title":"Constraint Programming Languages: Their Specification and Generation","author":"LELEIL W.M.","unstructured":"LELEIL W.M. 1988. Constraint Programming Languages: Their Specification and Generation . Addison-Wesley, Reading , Mass . LELEIL W.M. 1988. Constraint Programming Languages: Their Specification and Generation. Addison-Wesley, Reading, Mass."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1061387.1061388"},{"key":"e_1_2_1_24_1","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0010-4485(82)90292-5","article-title":"Modification of geometric models through variational geometry","volume":"14","author":"LIGHT R.","year":"1982","unstructured":"LIGHT , R. AND GOSSARD , D. 1982 . Modification of geometric models through variational geometry . Comput. Aided Des. 14 , 4, 209 214. LIGHT, R. AND GOSSARD, D. 1982. Modification of geometric models through variational geometry. Comput. Aided Des. 14, 4, 209 214.","journal-title":"Comput. Aided Des."},{"key":"e_1_2_1_25_1","unstructured":"LUI'AS P. AND ZILLE q S.N. 1988. Applicative graphics using abstract data types. IBM Res. Rep. RJ 6198. LUI'AS P. AND ZILLE q S.N. 1988. Applicative graphics using abstract data types. IBM Res. Rep. RJ 6198."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/0010-4485(90)90055-H"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/169728.169719"},{"key":"e_1_2_1_30_1","unstructured":"PAOI.t;ZZI A. PASCU('(q V. AND VICENTINO M. 1994. Generative constraint-based and variational modeling through geometric programming. (Submitted paper} PAOI.t;ZZI A. PASCU('(q V. AND VICENTINO M. 1994. Generative constraint-based and variational modeling through geometric programming. (Submitted paper}"},{"key":"e_1_2_1_31_1","unstructured":"PAOl.t:ZZl A. PASCUCCL V. AND VICENTINO M. 1993. A notable algebraic property of polyhedral complexes. Unpublished manuscript Rome March. PAOl.t:ZZl A. PASCUCCL V. AND VICENTINO M. 1993. A notable algebraic property of polyhedral complexes. Unpublished manuscript Rome March."},{"key":"e_1_2_1_32_1","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/0010-4485(92)90062-F","article-title":"Programming language for solid variational geometry","volume":"24","author":"ND SANS NI, C","year":"1992","unstructured":"P^ox.t;zzl, A. ^ ND SANS t) NI, C . 1992 . Programming language for solid variational geometry '. Comput. Aided Des. 24 , 7, 349 366. P^ox.t;zzl, A. ^ND SANSt)NI, C. 1992. Programming language for solid variational geometry'. Comput. Aided Des. 24, 7, 349 366.","journal-title":"Comput. Aided Des."},{"key":"e_1_2_1_33_1","volume-title":"Dip. di {nformatica e Sistemistica, Universith \"La Sapienza\"","author":"PAS I, V","unstructured":"PAS t't:('(' I, V . 1993. An approach to geometric modeling based on polyhedral complexes. \"Laurea\" Thesis , Dip. di {nformatica e Sistemistica, Universith \"La Sapienza\" , Rome, Dec . ( In Italian) . PASt't:('('I, V. 1993. An approach to geometric modeling based on polyhedral complexes. \"Laurea\" Thesis, Dip. di {nformatica e Sistemistica, Universith \"La Sapienza\", Rome, Dec. (In Italian)."},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/218013.218055"},{"key":"e_1_2_1_35_1","volume-title":"The Implementation of Functional Programming Languages","author":"PEYTON Jo.","unstructured":"PEYTON Jo. xEs, S. L. 1987. The Implementation of Functional Programming Languages . C. A. R Hoare, Series Ed., Prentice Hall , Englewood Cliffs, N.J. PEYTON Jo.xEs, S. L. 1987. The Implementation of Functional Programming Languages. C. A. R Hoare, Series Ed., Prentice Hall, Englewood Cliffs, N.J."},{"key":"e_1_2_1_36_1","volume-title":"Computational Geometry","author":"PREI'A I'A","unstructured":"PREI'A t~V I'A , F. P. AND Stt AMOS , M. I. 1985. Computational Geometry . Springer-Verlag , New York . PREI'At~VI'A, F. P. AND SttAMOS, M. I. 1985. Computational Geometry. Springer-Verlag, New York."},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/356827.356833"},{"key":"e_1_2_1_38_1","volume-title":"Proceedings of the 1988 1FIP\/NSF Workshop on Geometric Modelling (Rensselaerville, N.Y., Sept. 18 22)","author":"ROSS","year":"1990","unstructured":"ROSS lt', NA (', J. R. AND O'CONNOR , M. A. 1990 . SGC: A Dimension-independent model for pointsets with internal structures and incomplete boundaries. In Geometric Modeling for Product Engineering , Proceedings of the 1988 1FIP\/NSF Workshop on Geometric Modelling (Rensselaerville, N.Y., Sept. 18 22) , M. J. Wozny, J. U. Turner, and K. Preiss Eds. North-Holland, Amsterdam, 145 180. ROSSlt',NA(', J. R. AND O'CONNOR, M. A. 1990. SGC: A Dimension-independent model for pointsets with internal structures and incomplete boundaries. In Geometric Modeling for Product Engineering, Proceedings of the 1988 1FIP\/NSF Workshop on Geometric Modelling (Rensselaerville, N.Y., Sept. 18 22), M. J. Wozny, J. U. Turner, and K. Preiss Eds. North-Holland, Amsterdam, 145 180."},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/0010-4485(91)90078-B"},{"key":"e_1_2_1_40_1","volume-title":"Generative modeling for computer graphics and CAD","author":"SNYOER J. M.","unstructured":"SNYOER , J. M. 1992. Generative modeling for computer graphics and CAD . Academic Press , London . SNYOER, J. M. 1992. Generative modeling for computer graphics and CAD. Academic Press, London."},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/142920.134094"},{"key":"e_1_2_1_43_1","volume-title":"The definition and implementation of a computer programming language based on constraints","author":"STEELE G~ L","unstructured":"STEELE , G~ L . JR . 1980. The definition and implementation of a computer programming language based on constraints . Stanford University, Stanford , Calif ., Ph.D. Thesis. (Published as MIT-AI TR 595.) STEELE, G~ L. JR. 1980. The definition and implementation of a computer programming language based on constraints. Stanford University, Stanford, Calif., Ph.D. Thesis. (Published as MIT-AI TR 595.)"},{"key":"e_1_2_1_44_1","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1068\/b080245","article-title":"Design machines","volume":"8","author":"STINY G.","year":"1981","unstructured":"STINY , G. AND MARCH , L. 1981 . Design machines . Environment and Planning B , 8 , 213 - 238 . STINY, G. AND MARCH, L. 1981. Design machines. Environment and Planning B, 8, 213-238.","journal-title":"Environment and Planning B"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/37402.37421"},{"key":"e_1_2_1_46_1","volume-title":"Dip. di Informatica e Sistemistica, Universith \"La Sapienza'","author":"VJC~NTINO M.","unstructured":"VJC~NTINO , M. 1994. PLASM User Guide. Internal Report , Dip. di Informatica e Sistemistica, Universith \"La Sapienza' , Rome . VJC~NTINO, M. 1994. PLASM User Guide. Internal Report, Dip. di Informatica e Sistemistica, Universith \"La Sapienza', Rome."},{"key":"e_1_2_1_47_1","volume-title":"Functional Programming and its Applications","author":"WILL AMS","unstructured":"WILL t AMS , J.H. 1982. Notes on the FP style of functional programming . In J. Darlington, P. Henderson, and D. A. Turner, Eds. Functional Programming and its Applications , Cambridge University Press , Cambridge, Mass . WILLtAMS, J.H. 1982. Notes on the FP style of functional programming. In J. Darlington, P. Henderson, and D. A. Turner, Eds. Functional Programming and its Applications, Cambridge University Press, Cambridge, Mass."},{"key":"e_1_2_1_48_1","unstructured":"WILLIAMS J. $. AND WIMMERS E.r. 1991. An optimizing compiler based on program transformation. Internal IBM report Mar. WILLIAMS J. $. AND WIMMERS E.r. 1991. An optimizing compiler based on program transformation. Internal IBM report Mar."},{"key":"e_1_2_1_49_1","volume-title":"Geometric Modeling for Product Engineering","author":"YAMAGUCHI Y.","unstructured":"YAMAGUCHI , Y. AND KIMURA , F. 1990. A constraint modeling system for variational geometry . In Geometric Modeling for Product Engineering , M. J. Wozny, J. U. Turner, and K. Preiss, Eds. Elsevier Science . YAMAGUCHI, Y. AND KIMURA, F. 1990. A constraint modeling system for variational geometry. In Geometric Modeling for Product Engineering, M. J. Wozny, J. U. Turner, and K. Preiss, Eds. Elsevier Science."},{"key":"e_1_2_1_50_1","volume-title":"ACM Conference on Document Processing Systems (Santa Fe, N.M.). 10","author":"LLES S. N.","year":"1988","unstructured":"Zl LLES , S. N. , LUCAS , P. , LINDEN , T. M. , LOTSPIECH , J. B. , AND HARBURY , A.R. 1988 . The Escher document imaging model . ACM Conference on Document Processing Systems (Santa Fe, N.M.). 10 .1145\/62506.62536 ZlLLES, S. N., LUCAS, P., LINDEN, T. M., LOTSPIECH, J. B., AND HARBURY, A.R. 1988. The Escher document imaging model. ACM Conference on Document Processing Systems (Santa Fe, N.M.). 10.1145\/62506.62536"}],"container-title":["ACM Transactions on Graphics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/212332.212349","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,29]],"date-time":"2022-12-29T21:13:13Z","timestamp":1672348393000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/212332.212349"}},"subtitle":["a programming approach to geometric design"],"short-title":[],"issued":{"date-parts":[[1995,7]]},"references-count":45,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995,7]]}},"alternative-id":["10.1145\/212332.212349"],"URL":"http:\/\/dx.doi.org\/10.1145\/212332.212349","relation":{},"ISSN":["0730-0301","1557-7368"],"issn-type":[{"value":"0730-0301","type":"print"},{"value":"1557-7368","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,7]]},"assertion":[{"value":"1995-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}