Search Results - Liskov, Barbara H.

  • Showing 1 - 15 results of 15
Refine Results
  1. 1
    A behavioral notion of subtyping

    A behavioral notion of subtyping by Liskov, Barbara H., Wing, Jeannette M.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    The design of the Venus operating system

    The design of the Venus operating system by Liskov, Barbara H

    Get full text
    Items that this one cites
    Items that cite this one
    Magazinearticle
    Save to List
    Saved in:
  3. 3
    Exception Handling in CLU

    Exception Handling in CLU by Liskov, B.H., Snyder, A.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Specification techniques for data abstractions

    Specification techniques for data abstractions by Liskov, Barbara H., Zilles, Stephen N.

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    A language extension for expressing constraints on data access

    A language extension for expressing constraints on data access by Jones, Anita K., Liskov, Barbara H.

    Get full text
    Items that this one cites
    Items that cite this one
    Magazinearticle
    Save to List
    Saved in:
  6. 6
    Reliable object storage to support atomic actions

    Reliable object storage to support atomic actions by Oki, Brian M., Liskov, Barbara H., Scheifler, Robert W.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    The design of the Venus Operating System

    The design of the Venus Operating System by Liskov, Barbara H.

    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    A Language Extension for Controlling Access to Shared Data

    A Language Extension for Controlling Access to Shared Data by Jones, A.K., Liskov, B.H.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Data types and program correctness

    Data types and program correctness by Liskov, Barbara H.

    Published in SIGPLAN notices
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    Behavioral Subtyping Using Invariants and Constraints

    Behavioral Subtyping Using Invariants and Constraints by Liskov, Barbara H, Wing, Jeannette M

    Request full text
    Report
    Save to List
    Saved in:
  11. 11
    The Design of the Venus Operating System

    The Design of the Venus Operating System by Liskov, Barbara H

    Request full text
    Report
    Save to List
    Saved in:
  12. 12
    The Venus Multiprogramming System - Year End Summary

    The Venus Multiprogramming System - Year End Summary by Liskov, Barbara H

    Request full text
    Report
    Save to List
    Saved in:
  13. 13
    The Proof of Correctness Approach to Reliable Systems

    The Proof of Correctness Approach to Reliable Systems by Liskov,Barbara H, Towster,Edwin

    Request full text
    Report
    Save to List
    Saved in:
  14. 14
    SPIL: A language for construction of reliable system software

    SPIL: A language for construction of reliable system software by Liskov, Barbara H., Smith, Leroy A.

    Published in SIGPLAN notices
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  15. 15
    An Access Control Facility for Programming Languages

    An Access Control Facility for Programming Languages by Jones, Anita K, Liskov, Barbara H

    Request full text
    Report
    Save to List
    Saved in:

Search Tools: