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.
European Symposium on Programming (ESOP)
A conference, workshop or journal: the thing that recurs, across all its years.
One of the ETAPS conferences. ESOP is about programming languages and systems from the design side: type systems, semantics, program logics and the analyses that follow from them, where TACAS beside it takes the tools.
Part of Lecture Notes in Computer Science.
4 references
Foundations for entailment checking in quantitative separation logic
Kevin Batz and others (2022) · 31st European Symposium on Programming (ESOP) · Springer
A First-Order Logic with Frames
Adithya Murali and others (2020) · 29th European Symposium on Programming (ESOP) · Springer
Communicating state transition systems for fine-grained concurrent resources
Aleksandar Nanevski and others (2014) · 23rd European Symposium on Programming Languages and Systems (ESOP) · Springer
A Theory of Hygienic Macros
David Herman and others (2008) · 17th European Symposium on Programming (ESOP) · Springer