WorldCat Identities

Liskov, B.

Overview
Works: 94 works in 234 publications in 4 languages and 1,881 library holdings
Genres: Conference papers and proceedings  Handbooks and manuals 
Roles: Author, Editor, Other
Publication Timeline
.
Most widely held works about B Liskov
 
Most widely held works by B Liskov
CLU reference manual by B Liskov( Book )

29 editions published between 1978 and 2007 in 4 languages and held by 551 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
Abstraction and specification in program development by B Liskov( Book )

22 editions published between 1986 and 1989 in English and Italian and held by 484 WorldCat member libraries worldwide

Program development in Java : abstraction, specification, and object-oriented design by B Liskov( Book )

29 editions published between 2000 and 2006 in English and held by 436 WorldCat member libraries worldwide

Annotation
Distributed systems : methods and tools for specification : an advanced course by Manfred Paul( )

2 editions published in 1985 in English and held by 81 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 34 WorldCat member libraries worldwide

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

6 editions published in 1993 in English and held by 31 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
Distributed Systems Methods and Tools for Specification An Advanced Course by M Paul( )

1 edition published in 1985 in English and held by 30 WorldCat member libraries worldwide

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

6 editions published between 1979 and 1981 in English and held by 12 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)
Program structure in distributed systems by B Liskov( Visual )

1 edition published in 1995 in English and held by 12 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
Efficient at-most-once messages based on synchronized clocks by B Liskov( Book )

4 editions published in 1990 in English and held by 10 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)
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
An access control facility for programming languages by Anita K Jones( Book )

4 editions published in 1976 in English and held by 9 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)
A new definition of the subtype relation by B Liskov( Book )

3 editions published in 1993 in English and held by 8 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."
Family values : a behavioral notion of subtyping by B Liskov( Book )

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

Abstract: "The use of hierarchy is an immportant 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. The paper also discusses the ramifications of this notion of subtyping on the design of type families."
Family values : a semantic notion of subtyping by B Liskov( Book )

4 editions published in 1992 in English and held by 8 WorldCat member libraries worldwide

The paper also discusses the ramifications of this notion on the design of type families and on the contents of type specifications and presents a notation for specifying types formally."
A technique for constructing highly available services by R Ladin( Book )

2 editions published in 1988 in English and held by 7 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

Limitations of synchronous communication with static process structure in languages for distributed computing by B Liskov( Book )

3 editions published in 1985 in English and held by 5 WorldCat member libraries worldwide

Lazy replication : exploiting the semantics of distributed services by Massachusetts Institute of Technology( Book )

3 editions published in 1990 in English and held by 5 WorldCat member libraries worldwide

To provide high availability for services such as mail or bulletin boards, data must be replicated. One way to guarantee consistency of replicated data is to force service operations to occur in the same order at all sites, but this approach is expensive. In this paper, we propose lazy replication as a way to preserve consistency by exploiting the semantics of the service's operations to relax the constraints on ordering. Three kinds of operations are supported: operations for which the clients define the required order dynamically during the execution, operations for which the service defines the order, and operations that must be globally ordered with respect to both client ordered and service ordered operations. The method performs well in terms of response time, amount of stored state, number of messages, and availability. It is especially well suited to applications in which most operations require only the client-defined order. (Author) (kr)
A history of CLU by B Liskov( Book )

3 editions published between 1992 and 1993 in English and held by 4 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.65 (from 0.42 for Program st ... to 0.90 for Distribute ...)

Program development in Java : abstraction, specification, and object-oriented design
Covers
Program development in Java : abstraction, specification, and object-oriented designDistributed systems : methods and tools for specification : an advanced course
Alternative Names
Barbara Liskov americká informatička

Barbara Liskov Amerikaans informatica

Barbara Liskov amerikansk datavetare

Barbara Liskov científica computacional estatunidenca

Barbara Liskov científica de la computación estadounidense

Barbara Liskov informatica statunitense

Barbara Liskov informaticienne américaine

Barbara Liskov US Amerikanische Informatikerin

Barbara Liskov yhdysvaltalainen tietojenkäsittelytieteilijä

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 (129)

French (4)

Italian (2)

German (1)