E. R. Anderson

According to our database, E. R. Anderson authored at least 6 papers between 1976 and 1992.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1992

Secure system architectures and integration.

Amy Wu, Eric R. Anderson, Cristi Garvey

Proceedings of the Eighth Annual Computer Security Applications Conference, 1992

1990

Specification and Verification of the ASOS Kernel.

Ben L. Di Vito, Paul H. Palmquist, Eric R. Anderson, Michael L. Johnston

Proceedings of the 1990 IEEE Symposium on Security and Privacy, 1990

1985

Ada's Suitability for Trusted Computer Systems.

E. R. Anderson

Proceedings of the 1985 IEEE Symposium on Security and Privacy, 1985

1978

Extending an implementation language to a specification language.

E. R. Anderson, Frank C. Belz, Edward K. Blum

Proceedings of the Mathematical Studies of Information Processing, 1978

1977

Issues in the Formal Specifications of Programming Languages.

Eric R. Anderson, Frank C. Belz, Edward K. Blum

Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977

1976

SEMANOL (73) A Metalanguage for Programming the Semantics of Programming Languages.

E. R. Anderson, Frank C. Belz, Edward K. Blum

Acta Informatica, 1976