Abréviations

CACM

Communications of the ACM

ICALP

International Colloquium on Automata, Languages, and Programming
(Les actes sont reproduits par SIGPLAN Notices)

IEEE-TSE

IEEE, Transactions on Software Engineering

JACM

Journal of the ACM

LNCS

Lecture Notes in Computer Sciences

PLDI

Conference on Program Language Design and Implementation

POPL

Annual ACM Symposium on Principles of Programming Languages

TOPLAS

ACM Transactions on Programming Languages and Systems