6794 search results - page 200 / 1359 » Semantics of Visual Languages |
MODELS
2009
Springer
14 years 4 months ago
2009
Springer
ICFP
2010
ACM
13 years 11 months ago
2010
ACM
Matsuda et al. [2007, ICFP] and Voigtl
CLEIEJ
2007
13 years 10 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...
ASSETS
2005
ACM
14 years 10 days 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...
ENTCS
2008
13 years 10 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...