Barbara H. Liskov

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