Treffer 1 - 20 von 28 für Suche 'Bierhoff, Kevin', Suchdauer: 0,77s Treffer weiter einschränken
  1. 1
    Wildcards need witness protection

    Wildcards need witness protection von Bierhoff, Kevin


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Modular typestate checking of aliased objects

    Modular typestate checking of aliased objects von Bierhoff, Kevin, Aldrich, Jonathan

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Practical API Protocol Checking with Access Permissions

    Practical API Protocol Checking with Access Permissions von Bierhoff, Kevin, Beckman, Nels E., Aldrich, Jonathan


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    A type system for borrowing permissions

    A type system for borrowing permissions von Naden, Karl, Bocchino, Robert, Aldrich, Jonathan, Bierhoff, Kevin

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Payments in Communication Systems

    Payments in Communication Systems von DePasquale, Michael, Schmitt, Peter, Stolpnik, Alevtina, Pennarun, Avery, Bierhoff, Kevin Michael, Ostrow, Josh, Mizhen, Boris, Green, Travis Harrison Kroll, Cozens, Narelle

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Verifying correct usage of atomic blocks and typestate

    Verifying correct usage of atomic blocks and typestate von Beckman, Nels E., Bierhoff, Kevin, Aldrich, Jonathan

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Payments in communication systems

    Payments in communication systems von DePasquale, Michael, Schmitt, Peter, Stolpnik, Alevtina, Pennarun, Avery, Bierhoff, Kevin Michael, Ostrow, Josh, Mizhen, Boris, Green, Travis Harrison Kroll, Cozens, Narelle

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  8. 8
    API Protocol Compliance in Object-Oriented Software

    API Protocol Compliance in Object-Oriented Software von Bierhoff, Kevin

    Volltext bestellen
    Report

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Payments in Communication Systems

    Payments in Communication Systems von DePasquale, Michael, Schmitt, Peter, Stolpnik, Alevtina, Pennarun, Avery, Bierhoff, Kevin Michael, Ostrow, Josh, Mizhen, Boris, Green, Travis Harrison Kroll, Cozens, Narelle

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Payments in communication systems

    Payments in communication systems von DePasquale, Michael, Schmitt, Peter, Stolpnik, Alevtina, Pennarun, Avery, Bierhoff, Kevin Michael, Ostrow, Josh, Mizhen, Boris, Green, Travis Harrison Kroll, Cozens, Narelle

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Method for Statically Checking an Object-oriented Computer Program Module

    Method for Statically Checking an Object-oriented Computer Program Module von Bierhoff, Kevin M., Aldrich, Jonathan

    Volltext bestellen
    Report

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Method for statically checking an object-oriented computer program module

    Method for statically checking an object-oriented computer program module von Bierhoff, Kevin M, Aldrich, Jonathan

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Method for statically checking an object-oriented computer program module

    Method for statically checking an object-oriented computer program module von ALDRICH JONATHAN, BIERHOFF KEVIN M

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Lightweight object specification with typestates

    Lightweight object specification with typestates von Bierhoff, Kevin, Aldrich, Jonathan

    Veröffentlicht in Software engineering notes

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    PAYMENTS IN COMMUNICATION SYSTEMS

    PAYMENTS IN COMMUNICATION SYSTEMS von DePasquale, Michael, Schmitt, Peter, Stolpnik, Alevtina, Pennarun, Avery, Bierhoff, Kevin Michael, Ostrow, Josh, Mizhen, Boris, Green, Travis Harrison Kroll, Cozens, Narelle

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Modular Typestate Verification of Aliased Objects

    Modular Typestate Verification of Aliased Objects von Bierhoff, Kevin, Aldrich, Jonathan

    Volltext bestellen
    Report

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Method for statically checking an object-oriented computer program module

    Method for statically checking an object-oriented computer program module von ALDRICH JONATHAN, BIERHOFF KEVIN M

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  18. 18
    PAYMENTS IN COMMUNICATION SYSTEMS

    PAYMENTS IN COMMUNICATION SYSTEMS von Pennarun Avery, Green Travis Harrison Kroll, DePasquale Michael, Mizhen Boris, Bierhoff Kevin Michael, Stolpnik Alevtina, Ostrow Josh, Schmitt Peter, Cozens Narelle

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Payments in communication systems

    Payments in communication systems von Pennarun Avery, Green Travis Harrison Kroll, DePasquale Michael, Mizhen Boris, Bierhoff Kevin Michael, Stolpnik Alevtina, Ostrow Josh, Schmitt Peter, Cozens Narelle

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Architectural Mismatch in Service-Oriented Architectures

    Architectural Mismatch in Service-Oriented Architectures von Bierhoff, Kevin, Grechanik, Mark, Liongosari, Edy S.

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: