Surveyor's Forum: An Amplification on Hydra's Capabilities

Authors:
Roy Levin
Affiliations:
Computer Science Dept., Carnegie-Mellon University, Pittsburgh, Pennsylvania
Venue:
ACM Computing Surveys (CSUR)
Year:
1977

Citing 5
Cited 0

A Sampler of Formal Definitions

ACM Computing Surveys (CSUR)
Fault Tolerant Operating Systems

ACM Computing Surveys (CSUR)
Operating System Structures to Support Security and Reliable Software

ACM Computing Surveys (CSUR)
The denotational semantics of programming languages

Communications of the ACM
Complementary Definitions of Programming Language Semantics

Complementary Definitions of Programming Language Semantics

Quantified Score

Hi-index	0.00

Visualization

Abstract