6054 search results - page 392 / 1211 » Implementation of Andorra-based Languages |
163
click to vote
ICLP
2005
Springer
16 years 11 days ago
2005
Springer
Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new ...
171
click to vote
WEBI
2005
Springer
16 years 10 days ago
2005
Springer
Web services have emerged as a new paradigm that supports loosely-coupled distributed systems in service discovery and service execution. Next generation web services will evolve ...
159
click to vote
CD
2004
Springer
16 years 7 days ago
2004
Springer
In the past few years, the Multi-agent systems (MAS) area has presented an accelerated growth. New techniques and tools are constantly being proposed and several methodologies have...
171
click to vote
ICCS
2004
Springer
16 years 7 days ago
2004
Springer
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...
167
click to vote
PEPM
2004
ACM
16 years 6 days ago
2004
ACM
We implement strength reduction and loop-invariant code motion by specializing instrumented interpreters; we define a novel program transformation that uses bisimulation to ident...