Barbara Liskov
- Programming with abstract data types
1974/01/01 by Barbara Liskov, Stephen N. Zilles · 11 citations
Computer Science · #Advanced Database Systems and Queries #Computer science #Fifth-generation programming language #High-level programming language #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Programmer #Programming language #Programming paradigm #Task (project management)
- Practical byzantine fault tolerance and proactive recovery
2002/10/07 by Miguel Castro, Barbara Liskov · 11 citations
Computer Science · #Advanced Data Storage Technologies #Asynchronous communication #Byzantine fault tolerance #Computer network #Computer science #Computer security #Cryptography and Data Security #Distributed computing #Distributed systems and fault tolerance #Fault tolerance #Implementation #Intrusion detection system #Intrusion tolerance #Operating system #Quantum Byzantine agreement #Service (business) #The Internet #Vulnerability (computing)
- A behavioral notion of subtyping
1994/11/01 by Barbara H. Liskov, Barbara Liskov, Jeannette M. Wing · 16 citations
Computer Science · #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Software Engineering Research
- CLU Reference Manual
1981/01/01 by Barbara Liskov · 4 citations
Computer Science · #Natural Language Processing Techniques
- Programming with abstract data types
1974/03/28 by Barbara Liskov, Stephen N. Zilles · 6 citations
Computer Science · #Abstract data type #Abstraction #Advanced Database Systems and Queries #Computer science #Fourth-generation programming language #Functional logic programming #High-level programming language #Inductive programming #Language primitive #Logic, programming, and type systems #Low-level programming language #Parallel Computing and Optimization Techniques #Programmer #Programming domain #Programming language #Programming language specification #Programming paradigm #Set (abstract data type) #Software engineering #Task (project management) #Very high-level programming language
- Abstraction mechanisms in CLU
1977/08/01 by Barbara Liskov, Alan Snyder, Russell R. Atkinson +1 · 3 citations
Computer Science · #Logic, programming, and type systems #Software Engineering Research #Advanced Software Engineering Methodologies