{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:38:38Z","timestamp":1750307918569,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,1,15]],"date-time":"2007-01-15T00:00:00Z","timestamp":1168819200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,1,15]]},"DOI":"10.1145\/1244381.1244402","type":"proceedings-article","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T14:37:31Z","timestamp":1181140651000},"page":"122-133","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["The semantics of graphical languages"],"prefix":"10.1145","author":[{"given":"Stephan","family":"Ellner","sequence":"first","affiliation":[{"name":"Google, Inc., Mountain View, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walid","family":"Taha","sequence":"additional","affiliation":[{"name":"Rice University, Houston, TX"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,1,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2004.29"},{"key":"e_1_3_2_1_2_1","series-title":"Lecture Notes in Computer Science","first-page":"77","volume-title":"Theoretical Aspects of Computer Software, Third International Symposium, TACS '97, Sendai, Japan","author":"Zena","year":"1997","unstructured":"Zena M. Ariola and Stefan Blom. Cyclic lambda calculi . In Mart\u00edn Abadi and Takayasu Ito, editors, Theoretical Aspects of Computer Software, Third International Symposium, TACS '97, Sendai, Japan , volume 1281 of Lecture Notes in Computer Science , pages 77 -- 106 . Springer , 1997 . Zena M. Ariola and Stefan Blom. Cyclic lambda calculi. In Mart\u00edn Abadi and Takayasu Ito, editors, Theoretical Aspects of Computer Software, Third International Symposium, TACS '97, Sendai, Japan, volume 1281 of Lecture Notes in Computer Science, pages 77--106. Springer, 1997."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/968486.968487"},{"key":"e_1_3_2_1_4_1","first-page":"208","volume-title":"Proceedings of the Symposium on Visual Languages","author":"Citrin W.","year":"1994","unstructured":"W. Citrin , M. Doherty , and B. Zorn . Formal semantics of control in a completely visual programming language. In Allen L. Ambler and Takayuki Dan Kimura, editors , Proceedings of the Symposium on Visual Languages , pages 208 -- 215 , Los Alamitos, CA, USA , October 1994 . IEEE Computer Society Press. W. Citrin, M. Doherty, and B. Zorn. Formal semantics of control in a completely visual programming language. In Allen L. Ambler and Takayuki Dan Kimura, editors, Proceedings of the Symposium on Visual Languages, pages 208--215, Los Alamitos, CA, USA, October 1994. IEEE Computer Society Press."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/832276.834319"},{"key":"e_1_3_2_1_6_1","volume-title":"Introduction to algorithms","author":"Cormen T. H.","year":"1994","unstructured":"T. H. Cormen , C. E. Leiserson , and R. L. Rivest . Introduction to algorithms . MIT Press and McGraw-Hill Book Company , 14 th edition, 1994 . T. H. Cormen, C. E. Leiserson, and R. L. Rivest. Introduction to algorithms. MIT Press and McGraw-Hill Book Company, 14th edition, 1994.","edition":"14"},{"key":"e_1_3_2_1_7_1","volume-title":"Preview: An untyped graphical calculus for resource-aware programming. Master's thesis","author":"Ellner Stephan","year":"2004","unstructured":"Stephan Ellner . Preview: An untyped graphical calculus for resource-aware programming. Master's thesis , Rice University , 2004 . Stephan Ellner. Preview: An untyped graphical calculus for resource-aware programming. Master's thesis, Rice University, 2004."},{"volume-title":"Available in Informal Proceedings of DCC {20}.","author":"Ellner Stephan","key":"e_1_3_2_1_8_1","unstructured":"Stephan Ellner and Walid Taha . The semantics of graphical languages. 2006 . Available in Informal Proceedings of DCC {20}. Stephan Ellner and Walid Taha. The semantics of graphical languages. 2006. Available in Informal Proceedings of DCC {20}."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.1998.0098"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/645772.667957"},{"key":"e_1_3_2_1_11_1","first-page":"318","volume-title":"VL","author":"Erwig Martin","year":"1995","unstructured":"Martin Erwig and Bernd Meyer . Heterogeneous visual languages-integrating visual and textual programming. In Visual Languages , VL , pages 318 -- 325 , 1995 . Martin Erwig and Bernd Meyer. Heterogeneous visual languages-integrating visual and textual programming. In Visual Languages, VL, pages 318--325, 1995."},{"key":"e_1_3_2_1_12_1","volume-title":"LabVIEW Student Edition 6i","author":"National Instruments.","year":"2001","unstructured":"National Instruments. LabVIEW Student Edition 6i . Prentice Hall , 2001 . National Instruments. LabVIEW Student Edition 6i. Prentice Hall, 2001."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944721"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/619055.621550"},{"volume-title":"A compiled, type-safe multi-stage programming language. Available online from http:\/\/www.metaocaml.org\/","year":"2004","key":"e_1_3_2_1_15_1","unstructured":"MetaOCaml : A compiled, type-safe multi-stage programming language. Available online from http:\/\/www.metaocaml.org\/ , 2004 . MetaOCaml: A compiled, type-safe multi-stage programming language. Available online from http:\/\/www.metaocaml.org\/, 2004."},{"key":"e_1_3_2_1_16_1","unstructured":"National Instruments. LabVIEW. Online at http:\/\/www.ni.com\/labview.  National Instruments. LabVIEW. Online at http:\/\/www.ni.com\/labview."},{"key":"e_1_3_2_1_17_1","first-page":"97291","volume":"91000","author":"Oregon Graduate Institute Technical Reports. P.O","unstructured":"Oregon Graduate Institute Technical Reports. P.O . Box 91000 , Portland, OR 97291 -- 91000 , USA. Available online from ftp:\/\/cse.ogi.edu\/pub\/tech-reports\/README.html. Oregon Graduate Institute Technical Reports. P.O. Box 91000, Portland, OR 97291--1000, USA. Available online from ftp:\/\/cse.ogi.edu\/pub\/tech-reports\/README.html.","journal-title":"Box"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.1996.0027"},{"volume-title":"Sixth International Workshop on Designing Correct Circuits: Vienna, 25--26 March 2006: Participants' Proceedings. ETAPS 2006, March 2006. A Satellite Event of the ETAPS 2006 group of conferences.","author":"Sheeran Mary","key":"e_1_3_2_1_20_1","unstructured":"Mary Sheeran and Tom Melham , editors. Sixth International Workshop on Designing Correct Circuits: Vienna, 25--26 March 2006: Participants' Proceedings. ETAPS 2006, March 2006. A Satellite Event of the ETAPS 2006 group of conferences. Mary Sheeran and Tom Melham, editors. Sixth International Workshop on Designing Correct Circuits: Vienna, 25--26 March 2006: Participants' Proceedings. ETAPS 2006, March 2006. A Satellite Event of the ETAPS 2006 group of conferences."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604134"},{"key":"e_1_3_2_1_23_1","unstructured":"The MathWorks. Simulink. Online at http:\/\/www.mathworks.com\/products\/simulink.  The MathWorks. Simulink. Online at http:\/\/www.mathworks.com\/products\/simulink."},{"key":"e_1_3_2_1_24_1","volume-title":"A model for supporting higher-order, generative programming in visual languages. Available online from http:\/\/www.resource-aware.org\/twiki\/pub\/RAP\/WebHome\/final-small.png","author":"Uccello","year":"2006","unstructured":"Uccello : A model for supporting higher-order, generative programming in visual languages. Available online from http:\/\/www.resource-aware.org\/twiki\/pub\/RAP\/WebHome\/final-small.png , 2006 . Uccello: A model for supporting higher-order, generative programming in visual languages. Available online from http:\/\/www.resource-aware.org\/twiki\/pub\/RAP\/WebHome\/final-small.png, 2006."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/44.3.186"}],"event":{"name":"PEPM07: Partial Evaluation and Program Manipulation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Nice France","acronym":"PEPM07"},"container-title":["Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1244381.1244402","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1244381.1244402","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:51:30Z","timestamp":1750258290000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1244381.1244402"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1,15]]},"references-count":23,"alternative-id":["10.1145\/1244381.1244402","10.1145\/1244381"],"URL":"https:\/\/doi.org\/10.1145\/1244381.1244402","relation":{},"subject":[],"published":{"date-parts":[[2007,1,15]]},"assertion":[{"value":"2007-01-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}