73 search results - page 4 / 15 » Orthogonal to the Java Imperative |
POS
1998
Springer
13 years 11 months ago
1998
Springer
POS
2000
Springer
13 years 11 months ago
2000
Springer
TGC
2010
Springer
13 years 5 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...
PEPM
2004
ACM
14 years 24 days 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....
POS
1998
Springer
13 years 11 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...