Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

sav08:ownership_types [2008/05/21 10:46]
vkuncak created
sav08:ownership_types [2008/05/21 10:47] (current)
vkuncak
Line 19: Line 19:
   * disallow other references   * disallow other references
  
-{{ownership-types.jpg|Illustration from '​Ownership,​ Encapsulation and the Disjointness of Types and Effects'​}}+{{:ownership-types.jpg|Illustration from '​Ownership,​ Encapsulation and the Disjointness of Types and Effects'​}}
  
 This diagram and the code that goes along with it are more fully explained in reference 1.  This diagram and the code that goes along with it are more fully explained in reference 1. 
 
sav08/ownership_types.txt · Last modified: 2008/05/21 10:47 by vkuncak
 
© EPFL 2018 - Legal notice