default search action

combined dblp search
author search
venue search
publication search

ask others

ACM Transactions on Programming Languages and Systems, Volume 43

> Home > Journals > ACM Transactions on Programming Languages and Systems

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 43, Number 1, April 2021

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/PatrignaniG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/PatrignaniG21
Marco Patrignani, Deepak Garg:
Robustly Safe Compilation, an Efficient Form of Secure Compilation. 1:1-1:41
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/SananZLL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/SananZLL21
David Sanán, Yongwang Zhao, Shang-Wei Lin, Yang Liu:
CSim²: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee. 2:1-2:46
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/Pearce21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/Pearce21
David J. Pearce:
A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust. 3:1-3:73
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/Gordon21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/Gordon21
Colin S. Gordon:
Polymorphic Iterable Sequential Effect Systems. 4:1-4:79

Volume 43, Number 2, July 2021

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/TakisakaOUH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/TakisakaOUH21
Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo:
Ranking and Repulsing Supermartingales for Reachability in Randomized Programs. 5:1-5:46
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/VesgaRG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/VesgaRG21
Elisabet Lobo Vesga, Alejandro Russo, Marco Gaboardi:
A Programming Language for Data Privacy with Accuracy Estimations. 6:1-6:42
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/ToninhoY21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/ToninhoY21
Bernardo Toninho, Nobuko Yoshida:
On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings. 7:1-7:55
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/AlglaveDGHM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/AlglaveDGHM21
Jade Alglave, Will Deacon, Richard Grisenthwaite, Antoine Hacquard, Luc Maranget:
Armed Cats: Formal Concurrency Modelling at Arm. 8:1-8:54

Volume 43, Number 3, September 2021

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/ZhangSO21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/ZhangSO21
Weixin Zhang, Yaozhu Sun, Bruno C. d. S. Oliveira:
Compositional Programming. 9:1-9:61
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/LiuMM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/LiuMM21
Lun Liu, Todd D. Millstein, Madanlal Musuvathi:
Safe-by-default Concurrency for Modern Programming Languages. 10:1-10:50
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/GangeMNSSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/GangeMNSSS21
Graeme Gange, Zequn Ma, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
A Fresh Look at Zones and Octagons. 11:1-11:51
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/BusiNBGDMP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/BusiNBGDMP21
Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens:
Securing Interruptible Enclaved Execution on Small Microprocessors. 12:1-12:77

Volume 43, Number 4, December 2021

Special Issue on ESOP 2020

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/Muller21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/Muller21
Peter Müller:
Introduction to the Special Section on ESOP 2020. 13:1
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/AbateBCDGHPTT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/AbateBCDGHPTT21
Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault:
An Extended Account of Trace-relating Compiler Correctness and Secure Compilation. 14:1-14:48
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/MatsushitaTK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/MatsushitaTK21
Yusuke Matsushita, Takeshi Tsukada, Naoki Kobayashi:
RustHorn: CHC-based Verification for Rust Programs. 15:1-15:54

Regular Papers

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/DOsualdoSFG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/DOsualdoSFG21
Emanuele D'Osualdo, Julian Sutherland, Azadeh Farzan, Philippa Gardner:
TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs. 16:1-16:134
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/BoerH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/BoerH21
Frank S. de Boer, Hans-Dieter A. Hiep:
Completeness and Complexity of Reasoning about Call-by-Value in Hoare Logic. 17:1-17:35

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.