John B. Johnston obtained his Ph.D. degree in Mathematics from the California Institute of Technology. His areas of interest are operational semantics, programming languages, computer system architecture. His research interests focus on structure of independently generated program segments which have: complete internal type correctness, export/import interfaces designed to support run-time symbolic reference resolution with full intersegment type compatibility checking, parameterized generic types, dynamic run-time generic parameters rather than static compile-time generic parameters, and first class citizen treatment for both nested and global procedures through use of full procedure closures and activation record retention; development of compiling syntax directed editors for generating such program segments; and demonstration of the degree of universality of such program segments for the imperative and functional paradigms.
|
