|
Search the dblp DataBase
Aaron Greenhouse:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Aaron Greenhouse, John Boyland
An Object-Oriented Effects System. [Citation Graph (0, 0)][DBLP] ECOOP, 1999, pp:205-229 [Conf]
- John Boyland, Aaron Greenhouse
MayEqual: A New Alias Question. [Citation Graph (0, 0)][DBLP] ECOOP Workshops, 1999, pp:141-143 [Conf]
- Aaron Greenhouse, William L. Scherlis
Assuring and evolving concurrent programs: annotations and policy. [Citation Graph (0, 0)][DBLP] ICSE, 2002, pp:453-463 [Conf]
- Aaron Greenhouse, T. J. Halloran, William L. Scherlis
Using Eclipse to demonstrate positive static assurance of Java program concurrency design intent. [Citation Graph (0, 0)][DBLP] OOPSLA Workshop on Eclipse Technology eXchange, 2003, pp:99-103 [Conf]
- Dean F. Sutherland, Aaron Greenhouse, William L. Scherlis
The code of many colors: relating threads to code and shared state. [Citation Graph (0, 0)][DBLP] PASTE, 2002, pp:77-83 [Conf]
- Aaron Greenhouse, T. J. Halloran, William L. Scherlis
Observations on the assured evolution of concurrent Java programs. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2005, v:58, n:3, pp:384-411 [Journal]
Search in 0.002secs, Finished in 0.002secs
|