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.

https://etaps.org/

Part of Lecture Notes in Computer Science.

3 references