672 search results - page 23 / 135 » On the Expressive Power of the Loop Language |
134
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
Translation validation is a technique for checking that, after an optimization has run, the input and output of the optimization are equivalent. Traditionally, translation validat...
102
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
159
click to vote
PLPV
2012
ACM
13 years 9 months ago
2012
ACM
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...
135
click to vote
IJCNLP
2005
Springer
15 years 7 months ago
2005
Springer
Temporal information is useful in many NLP applications, such as information extraction, question answering and summarization. In this paper, we present a temporal parser for extra...
103
Voted
ESOP
2001
Springer
15 years 6 months ago
2001
Springer
Security-typed languages enforce confidentiality or integrity policies by type checking. This paper investigates continuation-passing style (CPS) translation of such languages as ...