3516 search results - page 14 / 704 » Programming Languages: Application and Interpretation |
157
click to vote
ICALP
2007
Springer
16 years 22 hour ago
2007
Springer
Following the idea developed by I. Simon in his theorem of Ramseyan factorisation forests, we develop a result of ‘deterministic factorisations’. This extra determinism propert...
170
click to vote
ERLANG
2004
ACM
15 years 11 months ago
2004
ACM
Erlang is a concurrent functional language designed for developing large-scale, distributed, fault-tolerant systems. The primary implementation of the language is the Erlang/OTP s...
165
click to vote
EUROPAR
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In an interpreted execution there is an interdependence between the interpreter's execution and the interpreted application's execution; the implementation of t...
129
click to vote
DEXAW
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, we present our approach and architecture for fault diagnosis and self-healing of interpreted objectoriented applications. By combining aspect-oriented programming, ...
146
click to vote
ICFP
2002
ACM
16 years 5 months ago
2002
ACM
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and equivalence checker for the -calculus with products, sums...