73 search results - page 4 / 15 » Orthogonal to the Java Imperative |
97
Voted
POS
1998
Springer
15 years 6 months ago
1998
Springer
123
click to vote
TGC
2010
Springer
14 years 11 months ago
2010
Springer
Recent work in resource analysis has translated the idea of amortised resource analysis to imperative languages using a program logic that allows mixing of assertions about heap sh...
133
click to vote
PEPM
2004
ACM
15 years 7 months ago
2004
ACM
The use of partial evaluation for specializing programs written in imperative languages such as C and Java is hampered by the difficulty of controlling the specialization process....
124
Voted
POS
1998
Springer
15 years 6 months ago
1998
Springer
Concurrency is a central pillar of the Java programming language, is implicit in the transactional model of computation adopted by most persistent systems, and has been widely stu...