6794 search results - page 200 / 1359 » Semantics of Visual Languages |
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
Matsuda et al. [2007, ICFP] and Voigtl
117
click to vote
CLEIEJ
2007
15 years 2 months ago
2007
This work presents proof rules for termination and non-termination for a subset of a C-like language that consists of the statements : assignation, composition, if, skip and while...
108
click to vote
ASSETS
2005
ACM
15 years 4 months ago
2005
ACM
We propose an integrated approach to interactive word-completion for users with linguistic disabilities in which semantic knowledge combines with n-gram probabilities to predict s...
134
Voted
ENTCS
2008
15 years 2 months ago
2008
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...