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.
ACM Transactions on Programming Languages and Systems (TOPLAS)
A conference, workshop or journal: the thing that recurs, across all its years.
The ACM's journal for programming languages and systems: semantics, type systems, compilation, program analysis and verification. Where a POPL or PLDI result goes when it is written up in full.
6 references
Strong-separation logic
Jens Pagel and others (2022) · ACM Transactions on Programming Languages and Systems (TOPLAS)
Completeness and Complexity of Reasoning about Call-by-Value in Hoare Logic
Frank S. de Boer and others (2021) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
A machine-checked model for a Java-like language, virtual machine, and compiler
Gerwin Klein and others (2006) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
A behavioral notion of subtyping
Barbara H. Liskov and others (1994) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
The Byzantine Generals Problem
Leslie Lamport and others (1982) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
Ten Years of Hoare's Logic: A Survey - Part I
Krzysztof R. Apt (1981) · ACM Transactions on Programming Languages and Systems