Concepedia

Charles M. Geschke

CM

Statistics

Publications

5

Citations

247

H-Index

5

Active since

1971

Affiliations

Palo Alto Research Center(Current)

Charles M. Geschke is an author at Palo Alto Research Center specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisSoftware EngineeringProgramming LanguagesSoftware DesignSystem SoftwareFormal Verification

Publications per year

1971–1977

5

Publications

5

Early experience with Mesa

Charles M. Geschke, James H. Morris, Edwin H. Satterthwaite · Communications of the ACM · 1977 · 162 citations · Full text

Video Game Development, Engineering, Software Systems +18

On the problem of uniform references to data structures

Charles M. Geschke, Jim Mitchell · ACM SIGPLAN Notices · 1975 · 27 citations · Full text

Engineering, Programming Language Notation, Large Software System +23

Reflections on a systems programming language

W. Wulf, Charles M. Geschke, David S. Wile et al. · 1971 · 23 citations

Engineering, System Programming, Software Engineering +18

Global program optimizations.

Charles M. Geschke · 1973 · 21 citations

Global Program Optimizations, Engineering, Program Analysis +4

On the problem of uniform references to data structures

Charles M. Geschke, James G. Mitchell · IEEE Transactions on Software Engineering · 1975 · 14 citations

Engineering, Programming Language Notation, Large Software System +23

1–5 of 5