Nice TWiki > Doc > AbstractInterfacesPackagingProblem (r1.2 vs. r1.3) TWiki webs:
Dev | Doc | Main | TWiki | Sandbox
Doc . { Changes | Index | Search | Go }
 <<O>>  Difference Topic AbstractInterfacesPackagingProblem (r1.3 - 30 Apr 2003 - DanielBonniot)
Added:
>
>

In my research article on kinds (and my dissertation), I have proved sufficient conditions for abstract interfaces to be sound. They are hard to explain, so I was looking for a simpler condition that implied the real one. I made a mistake in thinking that the locality restriction was a good candidate. But as Martin said, it is restrictive, and as Arjan shows it is not even safe! When I get the time, I will get back on this, implement a safe condition, and hopefully it will not be restrictive in practice.

-- DanielBonniot - 30 Apr 2003


Topic AbstractInterfacesPackagingProblem . { View | Diffs | r1.3 | > | r1.2 | > | r1.1 | More }
Revision r1.2 - 24 Apr 2003 - 23:14 GMT - ArjanB
Revision r1.3 - 30 Apr 2003 - 21:48 GMT - DanielBonniot
Copyright © 1999-2003 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback.