Loading...
Please wait, while we are loading the content...
Similar Documents
A bisimulation for dynamic sealing (2004)
| Content Provider | CiteSeerX |
|---|---|
| Author | Sumii, Eijiro Pierce, Benjamin C. |
| Description | In Proceedings 31st Annual ACM Symposium on Principles of Programming Languages |
| Abstract | data by sealing, and develop a bisimulation proof method that is sound and complete with respect to contextual equivalence. This provides a formal basis for reasoning about data abstraction in open, dynamic settings where static techniques such as type abstraction and logical relations are not applicable. 1 |
| File Format | |
| Publisher Date | 2004-01-01 |
| Access Restriction | Open |
| Subject Keyword | Bisimulation Proof Method Dynamic Setting Dynamic Sealing Static Technique Type Abstraction |
| Content Type | Text |
| Resource Type | Proceeding Conference Proceedings |