ESOP
2003
Springer
15 years 10 days ago
2003
Springer
ESOP
2003
Springer
15 years 10 days ago
2003
Springer
A partial evaluator is said to be Jones-optimal if the result of specializing a self-interpreter with respect to a source program is textually identical to the source program, modu...
ESOP
2003
Springer
15 years 10 days ago
2003
Springer
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...
ESOP
2003
Springer
15 years 10 days ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
ESOP
2003
Springer
15 years 10 days ago
2003
Springer
We consider the problem of implementing a security protocol in such a manner that secrecy of sensitive data is not jeopardized. Implementation is assumed to take place in the cont...
ESOP
2003
Springer
15 years 10 days ago
2003
Springer
Abstract. A goal-independent suspension analysis is presented that infers a class of goals for which a logic program with delays can be executed without suspension. The crucial poi...
ESOP
2003
Springer
15 years 10 days ago
2003
Springer
Kahn process networks (KPNs) are a programming paradigm suitable for streaming-based multimedia and signal-processing applications. We discuss the execution of KPNs, and the criter...
ECOOP
2003
Springer
15 years 10 days ago
2003
Springer
ECOOP
2003
Springer
15 years 10 days ago
2003
Springer
Despite the undisputed prominence of inheritance as the fundamental reuse mechanism in object-oriented programming languages, the main variants — single inheritance, multiple inh...
ECOOP
2003
Springer
15 years 10 days ago
2003
Springer
