2370 search results - page 259 / 474 » On the Revival of Dynamic Languages |
168
click to vote
APLAS
2005
ACM
15 years 9 months ago
2005
ACM
This paper describes a sound technique that combines the precision em proving with the loop-invariant inference of abstract interpretation. The loop-invariant computations are invo...
213
click to vote
FASE
2008
Springer
15 years 9 months ago
2008
Springer
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
227
click to vote
CLIMA
2006
15 years 8 months ago
2006
If we are to take the notion of speech act seriously, we must be able to treat speech acts as acts. In what follows, I will try to model changes brought about by various acts of co...
198
click to vote
EACL
2006
ACL Anthology
15 years 8 months ago
2006
ACL Anthology
All questions are implicitly associated with an expected answer type. Unlike previous approaches that require a predefined set of question types, we present a method for dynamical...
191
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
— The paper focuses on the problem how a community of distributed agents may autonomously invent and coordinate lexicons and grammars. Although our earlier experiments have shown...