Вы здесь

Liskov B.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Argus 1990 Liskov B. Lecture Notes in Computer Science 12.02.1991
СТ Replication in the Harp File System 1991 Liskov B., Ghemawat S., Gruber R., Johnson P., Shrira L., Williams M. Operating Systems Review 19.12.1991
СТ Providing High Availability Using Lazy Replication 1992 Ladin R., Liskov B., Ghemawat S. ACM Trans. Computer Systems 04.03.1993
СТ A History of CLU 1993 Liskov B. SIGPLAN Notices 21.04.1993
СТ A New Definition of the Subtype Relation 1993 Liskov B., Wing J. M. Lecture Notes in Computer Science 15.09.1993
СТ Reducing Cross Domain Call Overhead Using Batched Futures 1994 Bogle P., Liskov B. SIGPLAN Notices 22.12.1994
СТ Specifications and Their Use in Defining Subtypes 1995 Liskov B., Wing J. M. Lecture Notes in Computer Science ZUM 95: The Z Formal Specification Notation 06.10.1995
СТ Subtypes vs. Where Clauses: Constraining Parametric Polymorphism 1995 Day M., Gruber U., Liskov B., Myers A. C. SIGPLANE Notices 26.12.1995
СТ Providing Persistent Objects in Distributed Systems 1999 Liskov B., Castro M., Shrira L., Adya A. Lecture Notes in Computer Science 09.07.1999