6794 search results - page 200 / 1359 » Semantics of Visual Languages |
MODELS
2009
Springer
15 years 7 months ago
2009
Springer
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
Matsuda et al. [2007, ICFP] and Voigtl
CLEIEJ
2007
15 years 23 days 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...
97
Voted
ASSETS
2005
ACM
15 years 2 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...
120
Voted
ENTCS
2008
15 years 25 days 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...