{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:35:28Z","timestamp":1752460528340},"reference-count":52,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[1991,12,1]],"date-time":"1991-12-01T00:00:00Z","timestamp":691545600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Visual Languages & Computing"],"published-print":{"date-parts":[[1991,12]]},"DOI":"10.1016\/s1045-926x(05)80002-3","type":"journal-article","created":{"date-parts":[[2007,1,19]],"date-time":"2007-01-19T07:19:09Z","timestamp":1169191149000},"page":"311-331","source":"Crossref","is-referenced-by-count":47,"title":["A declarative specification and semantics for visual languages"],"prefix":"10.1016","volume":"2","author":[{"given":"Richard","family":"Helm","sequence":"first","affiliation":[]},{"given":"Kim","family":"Marriott","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1045-926X(05)80002-3_bib1","series-title":"Foundations of Deductive Databases","year":"1988"},{"key":"10.1016\/S1045-926X(05)80002-3_bib2","series-title":"1990 IEEE Workshop on Visual Languages","first-page":"98","article-title":"Declarative specification of visual languages","author":"Helm","year":"1990"},{"key":"10.1016\/S1045-926X(05)80002-3_bib3","series-title":"Proceedings of the Third International Conference on Logic Programming","first-page":"513","article-title":"Declarative graphs","author":"Helm","year":"1986"},{"key":"10.1016\/S1045-926X(05)80002-3_bib4","series-title":"Research report RC 15813","article-title":"Declarative specification of visual languages","author":"Helm","year":"1990"},{"key":"10.1016\/S1045-926X(05)80002-3_bib5","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1145\/357146.357147","article-title":"The programming language aspects of ThingLab\u2014a constraint-oriented simulation laboratory","volume":"3","author":"Borning","year":"1981","journal-title":"ACM Transactions on Programming Language and Systems"},{"key":"10.1016\/S1045-926X(05)80002-3_bib6","author":"Lloyd","year":"1984"},{"key":"10.1016\/S1045-926X(05)80002-3_bib7","series-title":"Proceedings 14th ACM Conference on Principles of Programming Languages","first-page":"111","article-title":"Constraint logic programming","author":"Jaffar","year":"1987"},{"key":"10.1016\/S1045-926X(05)80002-3_bib8","series-title":"Proceedings of the Fourth International Conference on Logic Programming","first-page":"858","article-title":"Logic semantics for a class of committed-choice programs","author":"Maher","year":"1987"},{"key":"10.1016\/S1045-926X(05)80002-3_bib9","series-title":"Proceedings of 6th International Conference on Logic Programming","article-title":"Constraint hierarchies and logic programming","author":"Borning","year":"1989"},{"key":"10.1016\/S1045-926X(05)80002-3_bib10","article-title":"Computer rendering of stochastic models","volume":"25","author":"Fournier","year":"1982","journal-title":"CACM"},{"key":"10.1016\/S1045-926X(05)80002-3_bib11","series-title":"ACM SIGGRAPH'84 Conference Proceedings","first-page":"1","article-title":"Plants, fractals and formal languages","author":"Smith","year":"1984"},{"key":"10.1016\/S1045-926X(05)80002-3_bib12","author":"Naish","year":"1985"},{"key":"10.1016\/S1045-926X(05)80002-3_bib13","article-title":"Nu-Prolog reference manual","author":"Thom","year":"1987"},{"key":"10.1016\/S1045-926X(05)80002-3_bib14","author":"Heintze","year":"1987"},{"key":"10.1016\/S1045-926X(05)80002-3_bib15","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(80)90003-X","article-title":"Definite clause grammars for language analysis","volume":"13","author":"Pereira","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1045-926X(05)80002-3_bib16","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/BF03037421","article-title":"BUP: A bottom-up parser embedded in Prolog","volume":"1","author":"Matsumoto","year":"1983","journal-title":"New Generation Computing"},{"key":"10.1016\/S1045-926X(05)80002-3_bib17","series-title":"Proceedings of ACM Conference on Object Oriented Programming Systems, Languages and Applications (OOPSLA'88)","first-page":"83","article-title":"A Smalltalk window system based on constraints","author":"Epstein","year":"1988"},{"key":"10.1016\/S1045-926X(05)80002-3_bib18","series-title":"OOPSLA '89","first-page":"381","article-title":"Constraint technology for user-interface construction in Thinglab II","author":"Maloney","year":"1989"},{"key":"10.1016\/S1045-926X(05)80002-3_bib19","series-title":"ACM SIGGRAPH '85 Conference Proceedings","first-page":"235","article-title":"Juno: a constraint-based graphics system","author":"Nelson","year":"1985"},{"key":"10.1016\/S1045-926X(05)80002-3_bib20","series-title":"Proceedings of the Spring Joint Computer Conference","first-page":"329","article-title":"Sketchpad: A man-machine graphical communication system","author":"Sutherland","year":"1963"},{"key":"10.1016\/S1045-926X(05)80002-3_bib21","series-title":"OOPSLA '88","first-page":"36","article-title":"A user interface toolkit based on graphical objects and constraints","author":"Szekely","year":"1988"},{"key":"10.1016\/S1045-926X(05)80002-3_bib22","series-title":"Proceedings of CHI '86","first-page":"131","article-title":"Animated graphical interfaces using temporal constraints","author":"Duisberg","year":"1986"},{"key":"10.1016\/S1045-926X(05)80002-3_bib23","author":"Knuth","year":"1986"},{"key":"10.1016\/S1045-926X(05)80002-3_bib24","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1145\/357299.357303","article-title":"A high-level language for specifying pictures","volume":"2","author":"Van Wyk","year":"1982","journal-title":"ACM Transactions on Graphics"},{"key":"10.1016\/S1045-926X(05)80002-3_bib25","doi-asserted-by":"crossref","first-page":"574","DOI":"10.1109\/TPAMI.1982.4767310","article-title":"Attributed programmed graph grammars and their application to schematic diagram interpretation","volume":"4","author":"Bunke","year":"1987","journal-title":"IEEE Transactions on Pattern Analysis and Machine Intelligence"},{"key":"10.1016\/S1045-926X(05)80002-3_bib26","series-title":"Graph-grammars and their Application to Computer Science\u20143rd International Workshop","first-page":"291","year":"1986"},{"key":"10.1016\/S1045-926X(05)80002-3_bib27","author":"Gips","year":"1975"},{"key":"10.1016\/S1045-926X(05)80002-3_bib28","series-title":"Proceedings of AAAI-87","first-page":"683","article-title":"Visual grammars for visual languages","author":"Lakin","year":"1987"},{"key":"10.1016\/S1045-926X(05)80002-3_bib29","author":"Stiny","year":"1975"},{"key":"10.1016\/S1045-926X(05)80002-3_bib30","series-title":"ACM CHI'91","first-page":"105","article-title":"Building visual language parsers","author":"Helm","year":"1991"},{"key":"10.1016\/S1045-926X(05)80002-3_bib31","series-title":"1989 IEEE Workshop on Visual Languages","first-page":"105","article-title":"The specification of visual language syntax","author":"Golin","year":"1989"},{"key":"10.1016\/S1045-926X(05)80002-3_bib32","series-title":"1990 IEEE Workshop on Visual Languages","first-page":"111","article-title":"Visual grammars and incremental parsing for interface languages","author":"Wittenburg","year":"1990"},{"key":"10.1016\/S1045-926X(05)80002-3_bib33","series-title":"1990 IEEE Workshop on Visual Languages","first-page":"168","article-title":"Relation grammars for modeling multi-dimensional structure","author":"Crimi","year":"1990"},{"issue":"1971","key":"10.1016\/S1045-926X(05)80002-3_bib34","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/S0020-0255(71)80002-6","article-title":"Picture processing grammar and its applications","volume":"3","author":"Chang","year":"1971","journal-title":"Information Sciences"},{"key":"10.1016\/S1045-926X(05)80002-3_bib35","author":"Fu","year":"1982"},{"key":"10.1016\/S1045-926X(05)80002-3_bib36","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0004-3702(89)90008-8","article-title":"A logical framework for depiction and image interpretation","volume":"41","author":"Reiter","year":"1989","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1045-926X(05)80002-3_bib37","series-title":"Proceedings of the 2nd ACM\/IEEE Fall Joint Computer Conference","first-page":"292","article-title":"Out of flatland: toward three-dimensional visual programming","author":"Glinert","year":"1987"},{"key":"10.1016\/S1045-926X(05)80002-3_bib38","series-title":"In Visual Languages","first-page":"35","article-title":"Spatial parsing for visual languages","author":"Lakin","year":"1986"},{"key":"10.1016\/S1045-926X(05)80002-3_bib39","series-title":"Visual Languages","first-page":"11","article-title":"Visual programming languages: a perspective and a dimensional analysis","author":"N.C.","year":"1986"},{"key":"10.1016\/S1045-926X(05)80002-3_bib40","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/S0020-0255(71)80002-6","article-title":"Picture processing grammar and its applications","volume":"3","author":"Chang","year":"1971","journal-title":"Information Sciences"},{"key":"10.1016\/S1045-926X(05)80002-3_bib41","series-title":"Proceedings of 1989 IEEE Workshop on Visual Languages","first-page":"105","article-title":"The specification of visual language syntax","author":"Golin","year":"1989"},{"key":"10.1016\/S1045-926X(05)80002-3_bib42","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/S0020-0255(70)80052-4","article-title":"A method for the structural analysis of two dimensional mathematical expressions","author":"Chang","year":"1970","journal-title":"Information Sciences"},{"key":"10.1016\/S1045-926X(05)80002-3_bib43","doi-asserted-by":"crossref","first-page":"506","DOI":"10.1109\/32.24700","article-title":"A visual language compiler","volume":"15","author":"Chang","year":"1989","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S1045-926X(05)80002-3_bib44","doi-asserted-by":"crossref","first-page":"1122","DOI":"10.1109\/32.60293","article-title":"Automating visual language generation","volume":"16","author":"Crimi","year":"1990","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S1045-926X(05)80002-3_bib45","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1109\/TSMC.1982.4308798","article-title":"Multiparty grammars and related features for defining interactive systems","author":"Shneiderman","year":"1982","journal-title":"IEEE Transactions on Systems Man and Cybernetics SMC-12"},{"key":"10.1016\/S1045-926X(05)80002-3_bib46","series-title":"Proceedings of 1988 IEEE Workshop on Visual Languages","first-page":"52","article-title":"A model for the specification and interpretation of Visual languages","author":"Tortora","year":"1988"},{"key":"10.1016\/S1045-926X(05)80002-3_bib47","series-title":"Proceedings of 1989 IEEE Workshop on Visual Languages","first-page":"29","article-title":"Visual programming with objects and relations","author":"Rogers","year":"1988"},{"key":"10.1016\/S1045-926X(05)80002-3_bib48","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"StateCharts: a visual formalism for complex systems","author":"Harel","year":"1987","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S1045-926X(05)80002-3_bib49","series-title":"Proceedings of 1990 IEEE Workshop on Visual Languages","first-page":"98","article-title":"Declarative specification of visual languages","author":"Helm","year":"1990"},{"key":"10.1016\/S1045-926X(05)80002-3_bib50","series-title":"Proceedings of 1990 IEEE Workshop on Visual Languages","first-page":"111","article-title":"Visual grammars and incremental parsing for interface languages","author":"Wittenburg","year":"1990"},{"key":"10.1016\/S1045-926X(05)80002-3_bib51","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0020-0255(80)90038-9","article-title":"On the structure of node label controlled graph languages","volume":"20","author":"Janssen","year":"1980","journal-title":"Information Science"},{"key":"10.1016\/S1045-926X(05)80002-3_bib52","doi-asserted-by":"crossref","first-page":"623","DOI":"10.1016\/0031-3203(88)90034-9","article-title":"Parsing of edNLC-graph grammar for scene analysis","volume":"21","author":"Flasinski","year":"1988","journal-title":"Pattern Recognition"}],"container-title":["Journal of Visual Languages & Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1045926X05800023?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1045926X05800023?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T17:29:09Z","timestamp":1556040549000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1045926X05800023"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,12]]},"references-count":52,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1991,12]]}},"alternative-id":["S1045926X05800023"],"URL":"https:\/\/doi.org\/10.1016\/s1045-926x(05)80002-3","relation":{},"ISSN":["1045-926X"],"issn-type":[{"value":"1045-926X","type":"print"}],"subject":[],"published":{"date-parts":[[1991,12]]}}}