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 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.
4 references
A proof system for separation logic with magic wand
Wonyeol Lee and others (2014) · ACM SIGPLAN Notices · Association for Computing Machinery
Cyclic proofs of program termination in separation logic
James Brotherston and others (2008) · ACM SIGPLAN Notices
Full functional verification of linked data structures
Karen Zee and others (2008) · ACM SIGPLAN Notices · Association for Computing Machinery
Verifying properties of well-founded linked lists
Shuvendu K. Lahiri and others (2006) · ACM SIGPLAN Notices · Association for Computing Machinery