 |
|
| Lori Clarke |
A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z
Name
Lori Clarke
E-Mail
clarke@cs.umass.edu
Homepage
http://laser.cs.umass.edu/people/clarke.htm
Address
Department of Computer Science University of Massachusetts 140 Governor's Drive Amherst, MA, USA 01003 Voice: +1-413-545-1328 Fax: +1-413-545-1249
Institution
University of Massachusetts Publications
1999:
/Cobleigh, 1999/ Verifying Properties of Process Definitions
/Naumovich, 1999/ An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs
/Naumovich, 1999a/ Data Flow Analysis for Checking Properties of Concurrent Java Programs
1988:
/Taylor, 1988/ Foundations for the Arcadia Environment Architecture
/Wileden, 1988/ Facilitating process prototyping by controlling the impact of change
1984:
/Wileden, 1984/Feedback-directed development of complex software systems
Conferences
| Programme Committee | |
|---|---|
| FSE'98 | Lake Buena Vista, FL, USA |
See Also
more information at dlpb - Universität Trier
GDPA Online
Last Updated 01.Jan.2002
Updated by Webmaster
Last Revised 01.Jan.2002
Revised by Webmaster
|