This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Journal of the ACM
A conference, workshop or journal: the thing that recurs, across all its years.
The ACM's oldest and most selective journal, taking major results across the whole of computer science. Papers here are long, thoroughly refereed and expected to matter for decades rather than for a conference cycle.
6 references
Compositional Shape Analysis by Means of Bi-Abduction
Cristiano Calcagno and others (2011) · Journal of the ACM · Association for Computing Machinery
Impossibility of distributed consensus with one faulty process
Michael J. Fischer and others (1985) · Journal of the ACM · Association for Computing Machinery
Effective axiomatizations of Hoare logics
Edmund M. Clarke Jr. and others (1983) · Journal of the ACM
Reaching Agreement in the Presence of Faults
M. Pease and others (1980) · Journal of the ACM · Association for Computing Machinery
Programming language constructs for which it is impossible to obtain good Hoare axiom systems
Edmund M. Clarke Jr. (1979) · Journal of the ACM
A Machine-Oriented Logic Based on the Resolution Principle
John A. Robinson (1965) · Journal of the ACM · Association for Computing Machinery