Using spatial logic to describe visual languages

摘要

Visual computer languages exploit the natural language of diagrams and pictures to provide a simple and intelligible approach to programming. Unfortunately, it is difficult to provide them with a formal syntax and semantics. In this paper we show how the RCC spatial calculus can be used to provide an unambiguous, formal description of such languages by systematically describing the syntax of Pictorial Janus.