Add to ORKGArrows illustrate a large variety of semantics in diagrams. An automated interpretation of arrows would be highly desirable in pen-based interfaces. This paper formalizes the structural patterns of arrows, and identifies three structural properties that contribute to the interpretation of arrows: (1) the assignment of components to three slots, (2) the semantic types of the components, and (3) the orientation of the components
Contains fulltext : 60154.pdf (author's version ) (Open Access)GUI programming is ...
AbstractWe investigate what the correct categorical formulation of Hughesʼ Arrows should be. It has ...
Overview This contribution gives a short introduction to arrow logic. We start by explaining the bas...
Arrows illustrate a large variety of semantics in diagrams. An automated interpretation of arrows wo...
People often sketch diagrams when they communicate successfully among each other. Such an intuitive ...
Mechanical systems have structural organizations—parts, and their relations—and functional orga-niza...
The purpose of this paper is to examine arrow design in relation to the type of pointing, connecting...
The goal of the paper is to explicate some common formal logic underlying various notational systems...
The goal of the paper is to explicate some universal logic underlying various notational systems use...
We investigate what the correct categorical formulation of Hughes’ Arrows should be. It has long bee...
The article proposes an approach for defining extensible and flexible formal interpreters for diagra...
We introduce the arrow calculus, a metalanguage for manipulating Hughes's arrows with close relation...
Arrows are an extension of the well-established notion of a monad in functional-programming language...
Colloque avec actes et comité de lecture. internationale.International audienceA new way to detect a...
Interactive applications, whether they run on the desktop or as a web application, can be considered...
Contains fulltext : 60154.pdf (author's version ) (Open Access)GUI programming is ...
AbstractWe investigate what the correct categorical formulation of Hughesʼ Arrows should be. It has ...
Overview This contribution gives a short introduction to arrow logic. We start by explaining the bas...
Arrows illustrate a large variety of semantics in diagrams. An automated interpretation of arrows wo...
People often sketch diagrams when they communicate successfully among each other. Such an intuitive ...
Mechanical systems have structural organizations—parts, and their relations—and functional orga-niza...
The purpose of this paper is to examine arrow design in relation to the type of pointing, connecting...
The goal of the paper is to explicate some common formal logic underlying various notational systems...
The goal of the paper is to explicate some universal logic underlying various notational systems use...
We investigate what the correct categorical formulation of Hughes’ Arrows should be. It has long bee...
The article proposes an approach for defining extensible and flexible formal interpreters for diagra...
We introduce the arrow calculus, a metalanguage for manipulating Hughes's arrows with close relation...
Arrows are an extension of the well-established notion of a monad in functional-programming language...
Colloque avec actes et comité de lecture. internationale.International audienceA new way to detect a...
Interactive applications, whether they run on the desktop or as a web application, can be considered...
Contains fulltext : 60154.pdf (author's version ) (Open Access)GUI programming is ...
AbstractWe investigate what the correct categorical formulation of Hughesʼ Arrows should be. It has ...
Overview This contribution gives a short introduction to arrow logic. We start by explaining the bas...