706 search results - page 69 / 142 » An Experimental Study on Computer Programming with Linguisti... |
143
click to vote
MSCS
2008
15 years 4 months ago
2008
Abstract. Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs c...
133
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
202
click to vote
PLDI
1997
ACM
15 years 8 months ago
1997
ACM
Set-based analysis is a constraint-based whole program analysis that is applicable to functional and objectoriented programming languages. Unfortunately, the analysis is useless f...
131
click to vote
ACL
1998
15 years 5 months ago
1998
The probabilistic relation between verbs and their arguments plays an important role in modern statistical parsers and supertaggers, and in psychological theories of language proc...
156
click to vote
NAACL
2010
15 years 2 months ago
2010
We carried out a study on monolingual translators with no knowledge of the source language, but aided by post-editing and the display of translation options. On Arabic-English and...