Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Max Zeuner"'
Publikováno v:
Proceedings of the ACM on Programming Languages. 5:1-30
In their usual form, representation independence metatheorems provide an external guarantee that two implementations of an abstract interface are interchangeable when they are related by an operation-preserving correspondence. If our programming lang