Gearold R. Johnson

Publication Activity (10 Years)

Years Active: 1976-1981
Publications (10 Years): 0

Publications

Robert A. Mueller, Gearold R. Johnson
Contrasting translation, verification and synthesis in software and firmware engineering. MICRO (1981)
Patrick A. Fitzhorn, Gearold R. Johnson
C: toward a concise syntactic description. ACM SIGPLAN Notices 16 (12) (1981)
Gearold R. Johnson, Robert A. Mueller
Automated Generation of Cross-System Software for Microcomputers. Computer 10 (1) (1977)
Gearold R. Johnson, Robert A. Mueller
The automated generation of cross-system software for supporting micro/mini computer systems. SIGMINI (1976)