Searching for authors named "Allen Goldberg" – sorted by Relevance.
-
Reusing Software Developments
- Reusing Software Developments Allen Goldberg Kestrel Institute 3260 Hillview Ave. Palo Alto, CA
- Cited by 13 (1 self) – Add To MetaCart
-
A Specification of Java Loading and Bytecode Verification
- 1 A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260
- Cited by 44 (1 self) – Add To MetaCart
-
Instrumentation of Java Bytecode for Runtime Analysis
- Instrumentation of Java Bytecode for Runtime Analysis Allen Goldberg and Klaus Havelund Kestrel
- Cited by 8 (3 self) – Add To MetaCart
-
Automated runtime verification with Eagle
- Automated Runtime Verification with Eagle Allen Goldberg and Klaus Havelund Kestrel Technology
- Cited by 4 (0 self) – Add To MetaCart
-
Referential Opacity In Nondeterministic Data Refinement
- In Nondeterministic Data Refinement Xiaolei Qian and Allen Goldberg y Kestrel Institute Abstract Data refinement
- Cited by 7 (0 self) – Add To MetaCart
-
KITP-93: An Automated Inference System for Program Analysis
- KITP-93: An Automated Inference System for Program Analysis T. C. Wang and Allen Goldberg Kestrel
- Cited by 2 (2 self) – Add To MetaCart
-
DTRE - A Semi-Automatic Transformation System
- Dtre---A Semi-Automatic Transformation System Lee Blaine and Allen Goldberg Kestrel Institute
- Cited by 23 (3 self) – Add To MetaCart
-
Type Safety in the JVM: Some Problems in Java 2 SDK 1.2 and Proposed Solutions
- Allen Goldberg Kestrel Institute 3260 Hillview Avenue, Palo Alto, CA 94304 http
- Cited by 8 (3 self) – Add To MetaCart
-
A Specification of Java Loading and Bytecode Verification
- Abstract A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel
- Add To MetaCart
-
A Refinement Approach to Visualization
- 1 A Refinement Approach to Visualization * Allen Goldberg Rafael Furst Cordell Green Kestrel
- Add To MetaCart

