E-LIB Suche - Ergebnisse für: Ernst, George W.

1

Modular verification of Ada generics:

Ernst, George W ; Hookway, Raymond J ; Menegay, James A.
Computer Languages. 16 (1991) 3-4 - p. 259-280 , 1991

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

2

Learning problem solving strategies using refinement and ma..:

Güvenir, H.Altay ; Ernst, George W.
Artificial Intelligence. 44 (1990) 1-2 - p. 209-243 , 1990

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

3

Use of data abstraction in process specification:

Bradshaw, Franklyn T. ; Ernst, George W. ; Hookway, Raymond J.
ACM SIGSOFT Software Engineering Notes. 7 (1982) 3 - p. 16-21 , 1982

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

4

Mechanical Discovery of Classes of Problem-Solving Strategi..:

Ernst, George W. ; Goldstein, Michael M.
Journal of the ACM. 29 (1982) 1 - p. 1-23 , 1982

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

5

Mechanical Discovery of Classes of Problem-Solving Strategi..:

Ernst, George W. ; Goldstein, Michael M.
Journal of the ACM (JACM). 29 (1982) 1 - p. 1-23 , 1982

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

6

Procedure semantics and language definition:

Bradshaw, Franklyn T. ; Ernst, George W. ; Hookway, Raymond J..
ACM SIGPLAN Notices. 15 (1980) 6 - p. 28-33 , 1980

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

7

Specification of Abstract Data Types in Modula:

Ernst, George W. ; Ogden, William F.
ACM Transactions on Programming Languages and Systems. 2 (1980) 4 - p. 522-543 , 1980

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

8

Procedure semantics and language definition:

Bradshaw, Franklyn T. ; Ernst, George W. ; Hookway, Raymond J..
ACM SIGPLAN Notices. 15 (1980) 6 - p. 28-33 , 1980

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

9

Specification of Abstract Data Types in Modula:

Ernst, George W. ; Ogden, William F.
ACM Transactions on Programming Languages and Systems (TOPLAS). 2 (1980) 4 - p. 522-543 , 1980

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

10

Rules of inference for procedure calls:

Ernst, George W.
Acta Informatica. 8 (1977) 2 - p. 145-152 , 1977

Link: https://doi.org/10.1007/..

11

SICSOFT (Paper Session):

, In: Proceedings of the 1976 annual conference,

Leavenworth, B. M. ; Hookway, Raymond J. ; Ernst, George W.... - p. 498 ff. , 1976

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

12

A program verification system:

, In: Proceedings of the 1976 annual conference,

Hookway, Raymond J. ; Ernst, George W. - p. 504-508 , 1976

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

13

The role of analogy in transfer between similar problem sta..:

Reed, Stephen K. ; Ernst, George W. ; Banerji, Ranan
Cognitive Psychology. 6 (1974) 3 - p. 436-450 , 1974

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

14

Limitations in pattern recognition and problem solving:

, In: Proceedings of the ACM annual conference - Volume 1,

Banerji, Ranan B. ; Ernst, George W. - p. 28-38 , 1972

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

15

GPS

a case study in generality and problem solving ACM monograph series

Ernst, George W. , 1969

Copies: Zentrale:Magazin 03.f.3546