2859 search results - page 212 / 572 » A Programming Environment for Bousi-Prolog |
166
click to vote
VAMOS
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we introduce the concept of metavariability, i.e., variability with respect to basic variability attributes like binding time or constraints. While the main focus o...
183
click to vote
REFLECTION
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Using mobile agent systems, cooperative distributed applications that run over the Internet can be constructed flexibly. However, there are some problems: it is difficul...
269
click to vote
POPL
2001
ACM
16 years 6 months ago
2001
ACM
We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial propert...
164
click to vote
VL
2007
IEEE
16 years 24 days ago
2007
IEEE
There has been little research into how end-user programming environments can provide explanations that could fill a critical information gap for end-user debuggers – help with ...
147
click to vote
IPPS
2005
IEEE
16 years 3 days ago
2005
IEEE
We observe increasing interest in aggregating geographically distributed, heterogeneous resources to perform large scale computations. MPI remains the most popular programming par...