A language extension for expressing constraints on data access
Jones, Anita K.; Liskov, Barbara H.
- 期刊名称Communications of the ACM
- 作者Jones, Anita K.; Liskov, Barbara H.
- 卷第21卷
- 期第5期
- 印刷ISSN0001-0782
- 文件大小6122.02KB
- 发表时间1978-5-1
- DOI10.1145/359488.359493
- 页码358-367