WorldCat Identities

Liskov, B.

Overview
Works: 72 works in 213 publications in 5 languages and 1,726 library holdings
Genres: Conference papers and proceedings  Handbooks and manuals 
Roles: Author, Other
Classifications: QA76.9.D5, 001.64
Publication Timeline
.
Most widely held works about B Liskov
 
Most widely held works by B Liskov
Abstraction and specification in program development by B Liskov( Book )

23 editions published between 1986 and 1989 in 4 languages and held by 508 WorldCat member libraries worldwide

CLU reference manual by B Liskov( Book )

26 editions published between 1978 and 2007 in 4 languages and held by 375 WorldCat member libraries worldwide

This document serves both as an introduction to CLU and as a language reference programming manual. Sections 1 through 4 present an overview of the programming language. These sections highlight the essential features of CLU, and discuss how CLU differs from other, more conventional, languages. Sections 5 through 13 form the reference manual proper. These sections describe each aspect of CLU in detail, and discuss the proper use of various features. Appendices 1 through III provide concise summaries of CLU's syntax, data types, and I/O facilities. Appendix IV contains example programs
Program development in Java : abstraction, specification, and object-oriented design by B Liskov( Book )

24 editions published between 2000 and 2006 in English and held by 319 WorldCat member libraries worldwide

Distributed systems--architecture and implementation : an advanced course by Donald Watts Davies( )

4 editions published in 1985 in English and Undetermined and held by 40 WorldCat member libraries worldwide

La maîtrise du développement de logiciel : abstraction et spécification by B Liskov( Book )

4 editions published in 1990 in French and held by 38 WorldCat member libraries worldwide

Thor an object-oriented database system by B Liskov( Visual )

6 editions published in 1993 in English and held by 36 WorldCat member libraries worldwide

"A new object-oriented database system intended to be used in heterogeneous distributed systems to allow programs written in different programming languages to share objects in a convenient manner"--Container
CLU Reference Manual by B Liskov( )

1 edition published in 1981 in English and held by 27 WorldCat member libraries worldwide

Distributed computer systems : structure and semantics by Liba Svobodova( Book )

6 editions published between 1979 and 1981 in English and Undetermined and held by 15 WorldCat member libraries worldwide

This report describes an ongoing project in the area of design of distributed systems. The goal is to develop an effective programming system that will support well-structured design, implementation, maintenance and control of distributed processing applications. This programming system combines a powerful high level language and operating system features, and addresses the underlying system problems that affect the reliability and security perceived on the application level. The report presents a conceptual model of distributed computation, and, in the context of this model, discusses our approaches to inter-node communication and cooperation, reliability, and protection. One of the basic goals of our project is to allow the application programmer to work with application-oriented entities. Thus, inter-node messages, error handling and protection constraints will all be expressible in application oriented terms. The report concludes with some examples of the language constructs and an outline of the future research under this project. (Author)
Family values : a semantic notion of subtyping by B Liskov( Book )

10 editions published between 1992 and 1993 in English and held by 14 WorldCat member libraries worldwide

Abstract: "The use of hierarchy is an important component of object-oriented design. Hierarchy allows the use of type families, in which higher level supertypes capture the behavior that all of their subtypes have in common. For this methodology to be effective, it is necessary to have a clear understanding of how subtypes and supertypes are related. This paper takes the position that the relationship should ensure that any property proved about supertype objects also holds for its subtype objects. It presents two ways of defining the subtype relation, each of which meets this criterion, and each of which is easy for programmers to use
Program structure in distributed systems by B Liskov( Visual )

2 editions published in 1995 in English and held by 13 WorldCat member libraries worldwide

Barbara Liskov explains how the THOR object-oriented database system allows programs written in different programming languages and running on different nodes of a network to share abstract persistent objects that are stored in highly reliable and available storage. She also speaks about her personal perspectives as a woman working in computer science
An access control facility for programming languages by Anita K Jones( Book )

5 editions published in 1976 in English and held by 12 WorldCat member libraries worldwide

Controlled sharing of information is needed and desirable for many applications. Access control mechanisms exist in operating systems to provide such controlled sharing. However, programming languages currently do not support such a facility. This paper argues that to enhance software reliability programming languages should support controlled sharing of information; the paper illustrates how such an access control facility could be incorporated in a programming language. The mechanism described is suitable for incorporation in object-oriented languages which permit the definition of abstract data types; it is defined in such a way as to enable compile time checking of access control. (Author)
Argus reference manual by B Liskov( Book )

3 editions published in 1987 in English and held by 10 WorldCat member libraries worldwide

Argus is an experimental language/system designed to support the construction and execution of distributed programs. Argus is intended to support only a subset of the applications that could benefit from being implemented by a distributed program. Two properties distinguish these applications: they make use of on-line data that must remain consistent in spite of concurrency and hardware failures, and they provide services under real-time constraints that are not severe. Examples of such applications are office automation systems and banking systems. Argus is based on CLU. It is largely an extension of CLU, but there are number of differences. Like CLU, Argus provides procedures for procedural abstraction, iterators for control abstraction, and clusters for data abstraction. In addition, Argus provides guardians that encapsulate and control access to one or more resources. Argus also provides equate modules as a convenient way to refer to constants. As in CLU, modules may be parameterized, so that a single module can define a class of related abstractions. Keywords: Fault tolerant computing
Efficient at-most-once messages based on synchronized clocks by B Liskov( Book )

4 editions published in 1990 in English and held by 9 WorldCat member libraries worldwide

This paper describes a new message passing protocol that provides guaranteed detection of duplicate messages even when the receiver has no state stored for the sender. It also discusses how to use these messages to implement higher-level primitives such as at-most-once remote procedure calls (RPC) and sequenced by testream protocols, and describes an implementation of at-most-once RPCs using our method. Our performance measurements indicate that at-most-once RPCs can be provided at the same cost as less desirable RPCs that do not guarantee at-most-once execution. Our method is based on the assumption that clocks throughout the system are loosely synchronized. Modern clock synchronization protocols provide good bounds on clock skew with high probability; our method depends on the bound for performance but not for correctness. Keywords: Computer communication networks. (kr)
A technique for constructing highly available services by R Ladin( Book )

3 editions published in 1988 in English and held by 9 WorldCat member libraries worldwide

This paper describes a general method for constructing a highly-available service for use in a distributed system. It gives a specific implementation of the method and proves the implementation correct. The service presents its clients with a consistent view of its state, but the view may contain old information. Clients can indicate how recent the information must be. The method was invented as a way of optimizing the orphan detection strategy developed for the Argus language and system, but appears to be applicable to a wide range of applications, including garbage collection of objects in a distributed heap, locating movable objects in a distributed system, and deletion of unused versions in a hybrid concurrency control scheme. It requires that applications satisfy certain semantic constraints. For such applications, the method performs better than other replication schemes. The method is intended to be used in an environment in which individual computers, or nodes, are connected by a communications network. Both the nodes and the network may fail; the method tolerates these failures. The nodes are failstop processors; we assume they can crash, but Byzantine failures are not expected. We assume that nodes do eventually recover from crashes, and that each node has access to a stable storage device that (with very high probability) preserves the information entrusted to it. After a crash, a node can recover the portion of its state that was written to its stable storage device before the crash
A new definition of the subtype relation by B Liskov( Book )

3 editions published in 1993 in English and held by 7 WorldCat member libraries worldwide

Abstract: "The use of hierarchy is an important component of object-oriented design. Hierarchy allows the use of type families, in which higher level supertypes capture the behavior that all of their subtypes have in common. For this methodology to be effective, it is necessary to have a clear understanding of how subtypes and supertypes are related. This paper presents a new definition of the subtype relation that ensures that any property proved about supertype objects also holds for subtype objects. It also discusses the ramifications of the definition on the design of type families."
Programmation avec des types abstraits by B Liskov( Book )

3 editions published in 1977 in French and Undetermined and held by 6 WorldCat member libraries worldwide

Providing high availability using lazy replication( Book )

1 edition published in 1991 in English and held by 6 WorldCat member libraries worldwide

Report on workshop on research in experimental computer science : October 16-18, 1992, Palo Alto, CA by B Liskov( Book )

5 editions published in 1992 in English and Undetermined and held by 6 WorldCat member libraries worldwide

Guidelines for the design and implementation of reliable software systems by B Liskov( Book )

2 editions published in 1973 in English and held by 5 WorldCat member libraries worldwide

The document describes experimental guidelines governing the production of reliable software systems. Both programming and management guidelines are proposed. The programming guidelines are intended to enable programmers to cope with a complex system effectively. The management guidelines describe an organization of personnel intended to enhance the effect of the programming guidelines
Replication in the HARP file system by B Liskov( Book )

4 editions published between 1981 and 1991 in English and held by 4 WorldCat member libraries worldwide

This paper describes the design and implementation of the Harp (Highly Available Reliable Persistent) file system. Harp is a replicated Unix file system accessible via the VFS (Virtual File System) interface. It provides highly available and reliable storage for files and guarantees that file operations are executed atomically in spite of concurrency and failures. It uses a novel variation of the primary copy replication technique that provides good performance because it allows us to trade disk accesses for network communication. Harp is intended to be used within a file service in a distributed network; in our current implementation, it is accessed via NFS. Preliminary performance results indicate that Harp provides equal or better response time and system capacity than an unreplicated implementation of NFS that uses Unix files directly
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.64 (from 0.46 for Program st ... to 0.92 for Programmat ...)

Program development in Java : abstraction, specification, and object-oriented design
Alternative Names
Barbara Liskov americká informatička

Barbara Liskov Amerikaans informatica

Barbara Liskov científica de la computación estadounidense

Barbara Liskov informatica statunitense

Barbara Liskov informaticienne américaine

Barbara Liskov US Amerikanische Informatikerin

Barbara Liskovová americká informatička

Huberman Liskov, Barbara Jane 1939-

Liskov, B.

Liskov, B. 1939-

Liskov, B. H.

Liskov, B. H. 1939-

Liskov, B. H. (Barbara H.)

Liskov, Barbara

Liskov, Barbara Jane Huberman 1939-

Μπάρμπαρα Λίσκοφ

Барбара Лисков американский учёный в области информатики

Барбара Лісков

Лисков, Б.

ברברה ליסקוב

باربارا لسكوف

باربارا لیسکف دانشمند علوم کامپیوتر آمریکایی

বারবারা লিসকভ

バーバラ・リスコフ

芭芭拉·利斯科夫

Languages
English (119)

French (6)

Russian (4)

Italian (2)

German (1)

Covers
Program development in Java : abstraction, specification, and object-oriented designDistributed systems--architecture and implementation : an advanced course