3311 search results - page 148 / 663 » Deductive Object Programming |
118
click to vote
ECOOP
1998
Springer
15 years 6 months ago
1998
Springer
In this paper, we propose architectural support for object manipulation, stack processing and method invocation to enhance the execution speed of Java bytecodes. First, a virtual a...
103
click to vote
POS
1998
Springer
15 years 6 months ago
1998
Springer
This paper argues that caching, atomicity and layering are fundamental to persistent systems, and that the transactional object cache architecture, as an embodiment of these conce...
78
Voted
FPL
2008
Springer
15 years 3 months ago
2008
Springer
Many of today's software-to-hardware compiler projects try to find dataflow parallelism in a sequential program description and use it to generate parallel running hardware c...
118
click to vote
FGCS
2000
15 years 1 months ago
2000
With reference to an object type defining the two basic operations, read and write, we present solutions to the object sharing problem, classified according to the migration and/o...
ML
2006
ACM
15 years 7 months ago
2006
ACM
Ocsigen is a framework for programming highly dynamic web sites in Objective Caml. It allows to program sites as Ocaml applications and introduces new concepts to take into accoun...