Barbara H. Liskov
From MaRDI portal
Person:1109558
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| scientific article; zbMATH DE number 7526287 (Why is no real title available?) | 2022-05-12 | Paper |
| Collecting cyclic distributed garbage by controlled migration Distributed Computing | 2020-12-02 | Paper |
| Collecting cyclic distributed garbage by controlled migration Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing - PODC '95 | 2017-09-29 | Paper |
| Lazy consistency using loosely synchronized clocks Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing - PODC '97 | 2017-09-29 | Paper |
| Collecting distributed garbage cycles by back tracing Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing - PODC '97 | 2017-09-29 | Paper |
| Ownership types for object encapsulation Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-09-11 | Paper |
| Practical uses of synchronized clocks in distributed systems Proceedings of the tenth annual ACM symposium on Principles of distributed computing - PODC '91 | 2015-06-19 | Paper |
| Behavioural subtyping using invariants and constraints | 2012-09-05 | Paper |
| Practical uses of synchronized clocks in distributed systems Distributed Computing | 1993-09-16 | Paper |
| A technique for constructing highly available services Algorithmica | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4050933 (Why is no real title available?) | 1986-01-01 | Paper |
| Guardians and Actions: Linguistic Support for Robust, Distributed Programs ACM Transactions on Programming Languages and Systems | 1983-01-01 | Paper |
| A Value Transmission Method for Abstract Data Types ACM Transactions on Programming Languages and Systems | 1982-01-01 | Paper |
| CLU reference manual Lecture Notes in Computer Science | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3679160 (Why is no real title available?) | 1980-01-01 | Paper |
| Exception Handling in CLU IEEE Transactions on Software Engineering | 1979-01-01 | Paper |
| A language extension for expressing constraints on data access Communications of the ACM | 1978-01-01 | Paper |
| Abstraction mechanisms in CLU Communications of the ACM | 1977-01-01 | Paper |
Research outcomes over time
This page was built for person: Barbara H. Liskov
