Barbara H. Liskov

18 papers A* 3Journal 7Unranked 8

Year	Rank	Type	Title / 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