8446 search results - page 1004 / 1690 » A Process Compensation Language |
186
click to vote
ECOOP
2004
Springer
16 years 25 days ago
2004
Springer
Mechanisms in AOP (aspect-oriented programming) can be characterized by a JPM (join point model). AOP is effective in unanticipated software evolution because crosscutting concer...
179
click to vote
ICALP
2004
Springer
16 years 25 days ago
2004
Springer
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...
216
click to vote
LPAR
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
204
click to vote
PPDP
2004
Springer
16 years 24 days ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
187
click to vote
SAMOS
2004
Springer
16 years 24 days ago
2004
Springer
The SystemC language plays an increasingly important role in the system-level design domain, facilitating designers to start with modeling and simulating system components and thei...