{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:12:20Z","timestamp":1729674740150,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE Comput. Soc. Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/vl.1996.545289","type":"proceedings-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T20:16:22Z","timestamp":1040674582000},"page":"204-211","source":"Crossref","is-referenced-by-count":2,"title":["GenEd-an editor with generic semantics for formal reasoning about visual notations"],"prefix":"10.1109","author":[{"given":"V.","family":"Haarslev","sequence":"first","affiliation":[]},{"given":"M.","family":"Wessel","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"1994 IEEE Symposium on Visual Languages","year":"1994","key":"ref30"},{"key":"ref10","first-page":"247","article-title":"Reducing\" CLASSIC to Practice: Knowledge Representation Theory Meets Reality","author":"brachman","year":"1992","journal-title":"10th International Conference on Principles of Knowledge Representation and Reasoning"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/VL.1995.520811"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/S1045-926X(05)80005-9"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/WVL.1991.238845"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/3-540-51081-8_106","article-title":"Graph Grammars, a new Paradigm for Implementing Visual Languages","author":"g\ufffdttler","year":"1989","journal-title":"Rewriting Techniques and Applications 3rd International Conference RTA-89"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/VL.1993.269567"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/VL.1995.520809"},{"key":"ref17","first-page":"278","article-title":"Generating Visual Language Editors for Formally Specified Languages","author":"\ufffdsk\ufffddarli","year":"0","journal-title":"VL'94"},{"journal-title":"Diagrammatic Reasoning Cognitive and Computational Perspectives","first-page":"339","year":"1995","author":"wang","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/S1045-926X(05)80003-5"},{"key":"ref28","first-page":"242","article-title":"Automatic Construction of User Interfaces from Constraint Multiset Grammars","author":"chok","year":"0","journal-title":"VL'95"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1676-6_9"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/VL.1995.520810"},{"key":"ref3","first-page":"427","article-title":"Pictorial Janus: A Completely Visual Programming Language and its Environment (in German)","author":"kahn","year":"1991","journal-title":"GI-Fachgespr\ufffdch Programmieren multimedialer Anwendungen der GI-Jahrestagung 1991"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/3-540-56869-7_16","article-title":"A Small Set of Formal Topological Relationships Suitable for End-User Interaction","volume":"692","author":"clementini","year":"1993","journal-title":"Advances in Spatial Databases Third International Symposium SSD '93"},{"journal-title":"1995 IEEE Symposium on Visual Languages","year":"1995","key":"ref29"},{"year":"0","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog0902_1"},{"journal-title":"On Formal Semantics of Visual Notations","year":"1996","author":"haarslev","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/WVL.1990.128375"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-4832-0771-1.50022-9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/VL.1995.520804"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/S1045-926X(05)80002-3"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/S1045-926X(05)80004-7"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/WVL.1992.275785"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/VL.1994.363633"},{"journal-title":"1993 International Workshop on Parsing Technologies","article-title":"Adventures in Multi-dimensional Parsing: Cycles and Disorders","year":"1993","author":"wittenburg","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/VL.1994.363645"},{"journal-title":"Proc AAAI Workshop Spatial Temporal Reason","article-title":"Defining the Syntax and the Semantics of a Visual Programming Language in a Spatial Logic","year":"1994","author":"cohn","key":"ref25"}],"event":{"name":"1996 IEEE Symposium on Visual Languages","acronym":"VL-96","location":"Boulder, CO, USA"},"container-title":["Proceedings 1996 IEEE Symposium on Visual Languages"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx3\/3922\/11360\/00545289.pdf?arnumber=545289","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T12:35:26Z","timestamp":1497530126000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/545289\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/vl.1996.545289","relation":{},"subject":[]}}