E-LIB Suche - Ergebnisse für: Goldberg, Allen

1

Combining test case generation and runtime verification:

Artho, Cyrille ; Barringer, Howard ; Goldberg, Allen...
Theoretical Computer Science. 336 (2005) 2-3 - p. 209-234 , 2005

Link: https://doi.org/10.1016/..

2

Experimental Evaluation of Verification and Validation Tool..:

Brat, Guillaume ; Drusinsky, Doron ; Giannakopoulou, Dimitra...
Formal Methods in System Design. 25 (2004) 2/3 - p. 167-198 , 2004

Link: https://doi.org/10.1023/..

3

Type safety in the JVM: some problems in Java 2 SDK 1.2 and..:

Coglio, Alessandro ; Goldberg, Allen
Concurrency and Computation: Practice and Experience. 13 (2001) 13 - p. 1153-1171 , 2001

Link: https://doi.org/10.1002/..

4

A formal specification of Java class loading:

Qian, Zhenyu ; Goldberg, Allen ; Coglio, Alessandro
ACM SIGPLAN Notices. 35 (2000) 10 - p. 325-336 , 2000

Link: https://doi.org/10.1145/..

5

A formal specification of Java class loading:

, In: Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications,

Qian, Zhenyu ; Goldberg, Allen ; Coglio, Alessandro - p. 325-336 , 2000

Link: https://dl.acm.org/doi/1..

6

A specification of Java loading and bytecode verification:

, In: Proceedings of the 5th ACM conference on Computer and communications security,

Goldberg, Allen - p. 49-58 , 1998

Link: https://dl.acm.org/doi/1..

7

Applications of feasible path analysis to program testing:

, In: Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis,

Goldberg, Allen ; Wang, T. C. ; Zimmerman, David - p. 80-94 , 1994

Link: https://dl.acm.org/doi/1..

8

Referential opacity in nondeterministic data refinement:

Qian, Xiaolei ; Goldberg, Allen
ACM Letters on Programming Languages and Systems. 2 (1993) 1-4 - p. 233-241 , 1993

Link: https://doi.org/10.1145/..

9

Referential opacity in nondeterministic data refinement:

Qian, Xiaolei ; Goldberg, Allen
ACM Letters on Programming Languages and Systems (LOPLAS). 2 (1993) 1-4 - p. 233-241 , 1993

Link: https://dl.acm.org/doi/1..

10

Reusing software developments:

, In: Proceedings of the fourth ACM SIGSOFT symposium on Software development environments,

Goldberg, Allen - p. 107-119 , 1990

Link: https://dl.acm.org/doi/1..

11

Stream processing:

, In: Proceedings of the 1984 ACM Symposium on LISP and functional programming,

Goldberg, Allen ; Paige, Robert - p. 53-62 , 1984

Link: https://dl.acm.org/doi/1..

12

Average time analyses of simplified Davis-Putnam procedures:

Goldberg, Allen ; Purdom, Paul ; Brown, Cynthia
Information Processing Letters. 16 (1983) 4 - p. 213 , 1983

Link: https://doi.org/10.1016/..

13

Average time analysis of simplified Davis-Putnam procedures:

Goldberg, Allen ; Purdom, Paul ; Brown, Cynthia
Information Processing Letters. 15 (1982) 2 - p. 72-75 , 1982

Link: https://doi.org/10.1016/..

14

HOME MECHANICAL VENTILATION:

Goldberg, Allen I.
The American Journal of Nursing. 110 (2010) 8 - p. 13 ff. , 2010

Link: https://www.jstor.org/st..

15

Commentary:

Goldberg, Allen I.
Cambridge Quarterly of Healthcare Ethics. 9 (2000) 1 - p. 113-117 , 2000

Link: https://doi.org/10.1017/..