Yahoo España Búsqueda web

Entrar

Search results

  1. www.computerhistory.org › profile › barbara-liskovBarbara Liskov - CHM

    Barbara Liskov is an American computer scientist and MIT Institute Professor who invented data abstraction, polymorphism, and modularity. She also developed CLU, the first programming language that supported these concepts, and worked on distributed systems, object-oriented databases, and security.

  2. Imágenes

    • Barbara Liskov gets with the program - Cosmos Magazine
    • Barbara Liskov | Biography, A.M. Turing Award, & Facts | Britannica
    • Barbara Liskov gets with the program - Cosmos Magazine
    • Pioneers in Tech: Barbara Liskov and the CLU programming language
    • KNOW-IT-: Female Programmers of all time

    Ver todo

  3. www.dlsi.ua.es › asignaturas › p2irTEMA 7: RELACIONES ENTRE OBJETOS. HERENCIA. POLIMORFISMO. ENLACE...

    16 de abr. de 2024 · Principio definido por Bárbara Liskov en 1994. Dados dos tipos S y T , si S es un subtipo de T (p.e. por herencia ) entonces en un programa que haga uso de ambos, cualquier objeto de tipo T puede ser sustituído por uno de tipo S sin que se vean alteradas ningunas de las propiedades deseables del programa, tales como corrección ...

  4. stackify.com › solid-design-liskov-substitution-principleSOLID Design Principles Explained- Stackify

    19 de abr. de 2024 · The Liskov Substitution principle was introduced by Barbara Liskov in her conference keynote “Data abstraction” in 1987. A few years later, she published a paper with Jeanette Wing in which they defined the principle as: Let Φ (x) be a property provable about objects x of type T.

  5. link.springer.com › chapter › 10The Lisp World and Common Lisp: 1960–1990s | SpringerLink

    3 de may. de 2024 · Meanwhile, John McCarthy supervised the Ph.D. of Barbara Liskov (1939-, MIT LCS), Raj Reddy (1937-, Stanford and Carnegie Mellon Universities), and others who pursued research in computer science and artificial intelligence at Stanford University.

  6. ecorner.stanford.edu › series › etlEntrepreneurial Thought Leaders | Stanford eCorner

    17 de abr. de 2024 · Barbara Liskov was already breaking new ground in 1968, when she became one of the first American women to earn a doctorate in the emerging discipline of computer science. After receiving that PhD at Stanford, she went on to design several influential programming languages, including CLU, an important precursor to Java.

  7. Vídeos

    Ver todo

  8. dl.acm.org › doi › 10Cocoon: Static Information Flow Control in Rust

    29 de abr. de 2024 · The key insight of Cocoon lies in leveraging Rust’s type system and procedural macros to establish an effect system that enforces noninterference. A performance evaluation shows that using Cocoon increases compile time but has no impact on application performance.

  9. dl.acm.org › doi › 10Inductive Diagrams for Causal Reasoning | Proceedings of the ACM...

    29 de abr. de 2024 · Miguel Castro and Barbara Liskov. 1999. Practical Byzantine Fault Tolerance. In Proceedings of the Third Symposium on Operating Systems Design and Implementation (OSDI ’99).