5377 search results - page 430 / 1076 » Programming Languages For Interactive Computing |
208
click to vote
ICFP
2003
ACM
16 years 7 months ago
2003
ACM
Functional Reactive Programming (FRP) is a framework for reactive programming in a functional setting. FRP has been applied to a number of domains, such as graphical animation, gr...
206
click to vote
PLDI
2003
ACM
16 years 25 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
215
click to vote
ERSHOV
1989
Springer
15 years 11 months ago
1989
Springer
This paper reports two experiments with implementations of constructions from theoretical computer science. The first one deals with Kleene’s and Rogers’ second recursion the...
195
click to vote
JCC
2011
15 years 2 months ago
2011
Abstract: Wordom is a versatile, user-friendly, and efficient program for manipulation and analysis of molecular structures and dynamics. The following new analysis modules have b...
149
click to vote
ECIR
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. This paper describes usage of MT metrics in choosing the best candidates for MT-based query translation resources. Our main metrics is METEOR, but we also use NIST and BL...