Barbara H. Liskov

Publication Activity (10 Years)

Years Active: 1971-1979
Publications (10 Years): 0

Publications

Barbara H. Liskov
Primitives for Distributed Computing. SOSP (1979)
Barbara H. Liskov, Alan Snyder
Exception Handling in CLU. IEEE Trans. Software Eng. 5 (6) (1979)
Barbara H. Liskov
Modular Program Construction Using Abstractions. Abstract Software Specifications (1979)
Barbara H. Liskov
Practical benefits of research in programming methodology (Abstract of presentation). AFIPS National Computer Conference (1978)
Russell R. Atkinson, Barbara H. Liskov, Robert Scheifler
Aspects Of Implementing CLU. ACM Annual Conference (1) (1978)
Bharat K. Bhargava, Stephen R. Kimbleton, Barbara H. Liskov, Jack Minker, Jeffrey D. Ullman
Crossfertilization Of DBMS Research With Other Disciplines Of Computer Science (Panel Discussion). ACM Annual Conference (1) (1978)
Anita K. Jones, Barbara H. Liskov
A Language Extension for Expressing Constraints on Data Access. Commun. ACM 21 (5) (1978)
Barbara H. Liskov, Alan Snyder, Russell R. Atkinson, Craig Schaffert
Abstraction Mechanisms in CLU. Commun. ACM 20 (8) (1977)
Anita K. Jones, Barbara H. Liskov
A Language Extension for Controlling Access to Shared Data (Abstract). ICSE (1976)
Anita K. Jones, Barbara H. Liskov
A Language Extension for Controlling Access to Shared Data. IEEE Trans. Software Eng. 2 (4) (1976)
Barbara H. Liskov
Data types and program correctness. ACM SIGPLAN Notices 10 (7) (1975)
Barbara H. Liskov, Stephen N. Zilles
Specification Techniques for Data Abstractions. IEEE Trans. Software Eng. 1 (1) (1975)
Barbara H. Liskov
Data types and program correctness. AFIPS National Computer Conference (1975)
Barbara H. Liskov, Stephen N. Zilles
Programming with Abstract Data Types. SIGPLAN Symposium on Very High Level Languages (1974)
Barbara H. Liskov, Leroy A. Smith
SPIL: A language for construction of reliable system software. SIGPLAN-SIGOPS Interface Meeting (1973)
Barbara H. Liskov
A design methodology for reliable software systems. AFIPS Fall Joint Computing Conference (1) (1972)
Barbara H. Liskov
The Design of the Venus Operating System. Commun. ACM 15 (3) (1972)
Barbara H. Liskov
The Design of the Venus Operating System. SOSP (1971)