ACM SIGPLAN Notices

A conference, workshop or journal: the thing that recurs, across all its years.

SIGPLAN's newsletter, which for decades doubled as the proceedings of its conferences — so a great deal of programming-language research from the 1970s to the 2010s is cited as a Notices issue. It stopped carrying proceedings when PACMPL took that over.

https://dl.acm.org/newsletter/sigplan-notices

3 references

Cyclic proofs of program termination in separation logic

James Brotherston et al. (2008) · ACM SIGPLAN Notices

Full functional verification of linked data structures

Karen Zee et al. (2008) · ACM SIGPLAN Notices

Verifying properties of well-founded linked lists

Shuvendu K. Lahiri et al. (2006) · ACM SIGPLAN Notices