WorldCat Identities

Liskov, B.

Overview
Works: 86 works in 199 publications in 4 languages and 1,657 library holdings
Genres: Conference proceedings  Handbooks, manuals, etc 
Roles: Author
Classifications: QA76.6, 005.12
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 )
15 editions published between 1986 and 1989 in English and Italian and held by 495 WorldCat member libraries worldwide
CLU reference manual by B Liskov( Book )
21 editions published between 1978 and 1984 in 4 languages and held by 444 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 )
21 editions published between 2000 and 2006 in English and held by 261 WorldCat member libraries worldwide
Thor an object-oriented database system by B Liskov( Visual )
7 editions published between 1993 and 2009 in English and held by 43 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
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 35 WorldCat member libraries worldwide
Distributed systems : methods and tools for specification : an advanced course by Manfred Paul( )
5 editions published in 1985 in English and Undetermined and held by 32 WorldCat member libraries worldwide
CLU Reference Manual by B Liskov( )
4 editions published between 1981 and 2007 in English and Undetermined and held by 25 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 16 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 )
2 editions published in 1995 in English and held by 14 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 )
4 editions published in 1976 in English and held by 11 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 )
2 editions published in 1987 in English and held by 10 WorldCat member libraries worldwide
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 Rivka Ladin( Book )
2 editions published in 1988 in English and held by 8 WorldCat member libraries worldwide
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."
Efficient at-most-once messages based on synchronized clocks by B Liskov( Book )
2 editions published in 1990 in English and held by 7 WorldCat member libraries worldwide
A new definition of the subtype relation by B Liskov( Book )
2 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."
Providing high availability using lazy replication ( Book )
1 edition published in 1991 in English and held by 6 WorldCat member libraries worldwide
Programmation avec des types abstraits by B Liskov( Book )
2 editions published in 1977 in French and held by 5 WorldCat member libraries worldwide
Guidelines for the design and implementation of reliable software systems by B Liskov( Book )
1 edition published in 1973 in English and held by 5 WorldCat member libraries worldwide
Limitations of synchronous communication with static process structure in languages for distributed computing by B Liskov( Book )
2 editions published in 1985 in Undetermined and 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.73 (from 0.35 for Program st ... to 0.96 for Family val ...)
Alternative Names
Liskov, B.
Liskov, B. H.
Liskov, B. H. (Barbara H.)
Liskov, Barbara
Лисков, Б.
Languages
English (99)
French (6)
Italian (2)
German (1)
Covers