6794 search results - page 349 / 1359 » Semantics of Visual Languages |
117
click to vote
COLING
1990
15 years 7 months ago
1990
: Noncanonical semantic representations are representations which cannot be derived by some grammar G although they are semanticMly equivalent to representations which can be deriv...
179
click to vote
JLP
2008
15 years 6 months ago
2008
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We prov...
162
click to vote
ENTCS
2007
15 years 6 months ago
2007
We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previou...
177
click to vote
MODELS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Model differences calculated by differencing algorithms contain the atomic changes made to a model. However, they do not capture the user’s intention of the modifica...
173
click to vote
CORIA
2008
15 years 8 months ago
2008
This paper presents a Web page indexation model. In this model, a Web page is not viewed as a whole, but as a combination of a set of blocks based on their visual rendering, where ...