7661 search results - page 29 / 1533 » Languages and the Computing Profession |
114
Voted
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
— This paper demonstrates how two different sets of powerful domain specific language features can be specified and deployed as composable language extensions. These extensions...
ASSETS
2008
ACM
15 years 3 months ago
2008
ACM
In this paper we present the results of a study designed to evaluate the computer-based methods of learning American Sign Language (ASL). We describe a method including an initial...
124
click to vote
VL
2010
IEEE
15 years 6 days ago
2010
IEEE
Visual programming languages can be used to make computer science more accessible to a broad range of students. The evaluative focus of current research in the area of visual lang...
132
Voted
IANDC
2007
15 years 1 months ago
2007
The edit distance (or Levenshtein distance) between two words is the smallest number of substitutions, insertions, and deletions of symbols that can be used to transform one of the...
146
click to vote
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...