2859 search results - page 202 / 572 » A Programming Environment for Bousi-Prolog |
253
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
138
click to vote
EUROGP
2007
Springer
16 years 19 days ago
2007
Springer
We explore a homeostatic approach to program execution in computer systems: the “concentration” of computation services is regulated according to their fitness. The goal is to...
158
click to vote
OOPSLA
1999
Springer
15 years 10 months ago
1999
Springer
The proliferation of the Internet is fueling the development of mobile computing environments in which mobile code is executed on remote sites. In such environments, the end user ...
158
click to vote
SDE
1991
15 years 10 months ago
1991
There is an urgent need to provide a sound generic framework for method and tool integration, where many differing notations are used, software development is distributed and mana...
183
click to vote
PLDI
2005
ACM
16 years 1 days ago
2005
ACM
Reuse of existing code from class libraries and frameworks is often difficult because APIs are complex and the client code required to use the APIs can be hard to write. We obser...