2482 search results - page 289 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
99
Voted
GPCE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
119
Voted
MPC
2004
Springer
15 years 8 months ago
2004
Springer
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...
130
click to vote
CGO
2003
IEEE
15 years 7 months ago
2003
IEEE
Run-time code generation is a well-known technique for improving the efficiency of programs by exploiting dynamic information. Unfortunately, the difficulty of constructing run-...
124
Voted
FIDJI
2003
Springer
15 years 7 months ago
2003
Springer
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...
94
Voted
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
We show that the downward-closure of a Petri net language is effectively computable. This is mainly done by using the notions defined for showing decidability of the reachability...