6054 search results - page 422 / 1211 » Implementation of Andorra-based Languages |
170
click to vote
JUCS
2008
15 years 7 months ago
2008
In this paper we present AmOS, the Ambient Object System that underlies the Ambience programming language. AmOS implements a computation model that supports highly dynamic behaviou...
175
click to vote
ENTCS
2007
15 years 7 months ago
2007
’s abstraction theorem [21], often referred to as the parametricity theorem, can be used to derive properties about functional programs solely from their types. Unfortunately, i...
204
click to vote
PC
2006
15 years 7 months ago
2006
Generative parallel design patterns is a proven technique to improve the productivity of parallel program development. However many of the generative design-pattern systems are de...
225
click to vote
ASE
2002
15 years 7 months ago
2002
The eXtensible Markup Language (XML) was originally defined to represent Web content, but it is increasingly used to define languages, such as XPL, that are used for coding execut...
237
click to vote
APIN
1998
15 years 7 months ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...