Korat:automated testing based on Java predicates von Boyapati, Chandrasekhar, Khurshid, Sarfraz, Marinov, Darko

Volltext

A parameterized type system for race-free Java programs von Boyapati, Chandrasekhar, Rinard, Martin

Volltext

Efficient modular glass box software model checking von Roberson, Michael, Boyapati, Chandrasekhar

Volltext

Ownership types for object encapsulation von Boyapati, Chandrasekhar, Liskov, Barbara, Shrira, Liuba

Volltext

Session details: Register allocation von Boyapati, Chandrasekhar

Volltext

Ownership types for safe programming: preventing data races and deadlocks von Boyapati, Chandrasekhar, Lee, Robert, Rinard, Martin

Volltext

Program Analysis Techniques for Efficient Software Model Checking von Boyapati, Chandrasekhar, Sakallah, Karem

Volltext bestellen

A type system for preventing data races and deadlocks in the java virtual machine language: 1 von Permandla, Pratibha, Roberson, Michael, Boyapati, Chandrasekhar

Volltext

Efficient software model checking of soundness of type systems von Roberson, Michael, Harries, Melanie, Darga, Paul T., Boyapati, Chandrasekhar

Volltext

Efficient software model checking of data structure properties von Darga, Paul T., Boyapati, Chandrasekhar

Volltext

Aspect-oriented programming von Lopes, Cristina V, Boyapati, Chandrasekhar, Kiczales, Gregor J, Hilsdale, Erik A, Lamping, John O, Hugunin, James J

Volltext bestellen

Ownership types for object encapsulation von Boyapati, Chandrasekhar, Liskov, Barbara, Shrira, Liuba

Volltext

Lazy modular upgrades in persistent object stores von Boyapati, Chandrasekhar, Liskov, Barbara, Shrira, Liuba, Moh, Chuang-Hue, Richman, Steven

Volltext

Korat von Boyapati, Chandrasekhar, Khurshid, Sarfraz, Marinov, Darko

Volltext

Korat: automated testing based on Java predicates von Boyapati, Chandrasekhar, Khurshid, Sarfraz, Marinov, Darko

Volltext

Ownership types for safe region-based memory management in real-time Java von Boyapati, Chandrasekhar, Salcianu, Alexandru, Beebee, William, Rinard, Martin

Volltext

Lazy modular upgrades in persistent object stores von Boyapati, Chandrasekhar, Liskov, Barbara, Shrira, Liuba, Moh, Chuang-Hue, Richman, Steven

Volltext

Efficient software model checking of data structure properties

Volltext bestellen

ASPECT-ORIENTED PROGRAMMING von LAMPING, JOHN O, HILSDALE, ERIK A, LOPES, CRISTINA V, BOYAPATI, CHANDRASEKHAR, KICZALES, GREGOR J, HUGUNIN, JAMES J

Volltext bestellen

Aspect-oriented programming von LOPES CRISTINA V, LAMPING JOHN O, BOYAPATI CHANDRASEKHAR, KICZALES GREGOR J, HILSDALE ERIK A, HUGUNIN JAMES J

Volltext bestellen