Sciweavers

3311 search results - page 83 / 663
» Deductive Object Programming
Sort
View
MSCS
2006
80views more  MSCS 2006»
14 years 11 months ago
Denotational semantics for a program logic of objects
Bernhard Reus, Jan Schwinghammer
TACO
2008
52views more  TACO 2008»
14 years 11 months ago
Object co-location and memory reuse for Java programs
Zoe C. H. Yu, Francis C. M. Lau, Cho-Li Wang