E. R. Anderson

Publication Activity (10 Years)

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

Publications

Benedetto L. DiVito, P. H. Palmquist, E. R. Anderson, M. L. Johnston
Specification and Verification of the ASOS Kernel. IEEE Symposium on Security and Privacy (1990)
E. R. Anderson
Ada's Suitability for Trusted Computer Systems. IEEE Symposium on Security and Privacy (1985)
E. R. Anderson, Frank C. Belz, Edward K. Blum
Extending an implementation language to a specification language. Mathematical Studies of Information Processing (1978)
E. R. Anderson, Frank C. Belz, Edward K. Blum
SEMANOL (73) A Metalanguage for Programming the Semantics of Programming Languages. Acta Informatica 6 (1976)