1159 search results - page 19 / 232 » Adding Concurrency to a Programming Language |
ECOOP
2009
Springer
14 years 8 months ago
2009
Springer
APIN
1998
13 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...
PADL
2000
Springer
13 years 11 months ago
2000
Springer
Constraint combination methods are essential for a flexible constraint programming system. This paper presents deep concurrent constraint combinators based on computation spaces as...
IJCAI
1993
13 years 9 months ago
1993
Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP, ...
SAC
2003
ACM
14 years 26 days ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...