5415 search results - page 250 / 1083 » The Implementation of Functional Programming Languages |
124
click to vote
DAGSTUHL
2004
15 years 2 months ago
2004
In the last years we have developed a platform for the realization of embodied (conversational) agents, in a distributed logic programming framework. In this paper we will present...
114
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...
203
click to vote
POPL
2008
ACM
16 years 1 months ago
2008
ACM
Okasaki and others have demonstrated how purely functional data structures that are efficient even in the presence of persistence can be constructed. To achieve good time bounds e...
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
109
click to vote
ICS
1999
Tsinghua U.
15 years 5 months ago
1999
Tsinghua U.
Programming languages that provide multidimensional arrays and a flat linear model of memory must implement a mapping between these two domains to order array elements in memory....