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.

https://dl.acm.org/journal/jacm

3 references

Effective axiomatizations of Hoare logics
Edmund M. Clarke Jr. et al. (1983) · Journal of the ACM
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