2859 search results - page 159 / 572 » A Programming Environment for Bousi-Prolog |
154
click to vote
ICLP
2010
Springer
15 years 9 months ago
2010
Springer
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...
151
click to vote
GCC
2006
Springer
15 years 8 months ago
2006
Springer
Legacy program execution system, which is necessary for Grid to enable users to reuse all legacy programs without reengineering source codes, is still an open problem. We propose ...
137
click to vote
ICFP
2004
ACM
16 years 5 months ago
2004
ACM
We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...
147
click to vote
ECOOP
2009
Springer
15 years 11 months ago
2009
Springer
Modern development environments support refactoring by providing atomically behaviour-preserving transformations. While useful, these transformations are limited in three ways: (i)...
176
click to vote
SACI
2009
IEEE
15 years 11 months ago
2009
IEEE
—In the grid context, there is little support for programming paradigms such as shared data or associative programming. We have previously proposed an original idea to attack sha...