T. J. Halloran

List of publications from the DBLP Bibliography Server - FAQ

2005

2 EE Aaron Greenhouse, T. J. Halloran, William L. Scherlis: Observations on the assured evolution of concurrent Java programs. Sci. Comput. Program. 58(3): 384-411 (2005)

2003

1 EE Aaron Greenhouse, T. J. Halloran, William L. Scherlis: Using Eclipse to demonstrate positive static assurance of Java program concurrency design intent. OOPSLA Workshop on Eclipse Technology eXchange 2003: 99-103

2005
2	EE	Aaron Greenhouse, T. J. Halloran, William L. Scherlis: Observations on the assured evolution of concurrent Java programs. Sci. Comput. Program. 58(3): 384-411 (2005)
2003
1	EE	Aaron Greenhouse, T. J. Halloran, William L. Scherlis: Using Eclipse to demonstrate positive static assurance of Java program concurrency design intent. OOPSLA Workshop on Eclipse Technology eXchange 2003: 99-103

Coauthor Index

1	Aaron Greenhouse	[1] [2]
2	William L. Scherlis (Bill Scherlis)	[1] [2]