default search action

combined dblp search
author search
venue search
publication search

ask others

ACM Transactions on Programming Languages and Systems, Volume 47

> 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 47, Number 1, March 2025

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/WuWXZZY25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/WuWXZZY25
Hao Wu, Qiuye Wang, Bai Xue, Naijun Zhan, Lihong Zhi, Zhi-Hong Yang:
Synthesizing Invariants for Polynomial Programs by Semidefinite Programming. 1:1-1:35
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/Felicissimo25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/Felicissimo25
Thiago Felicissimo:
Generic Bidirectional Typing for Dependent Type Theories. 2:1-2:42
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/MoineCP25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/MoineCP25
Alexandre Moine, Arthur Charguéraud, François Pottier:
Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection. 3:1-3:71

Volume 47, Number 2, June 2025

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/ZhiR25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/ZhiR25
Xusheng Zhi, Thomas Reps:
Polynomial Bounds of CFLOBDDs against BDDs. 4:1-4:36
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/DotzelDSJ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/DotzelDSJ25
Myra Dotzel, Farzaneh Derakhshan, Milijana Surbatovich, Limin Jia:
Modal Crash Types for WAR-Aware Intermittent Computing. 5:1-5:62
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/PujetLT25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/PujetLT25
Loïc Pujet, Yann Leray, Nicolas Tabareau:
Observational Equality Meets CIC. 6:1-6:35
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/DvirKL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/DvirKL25
Yotam Dvir, Ohad Kammar, Ori Lahav:
A Brookes-Style Denotational Semantics for Release/Acquire Concurrency. 7:1-7:85
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/MatacheLMSWY25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/MatacheLMSWY25
Cristina Matache, Sam Lindley, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang:
Scoped Effects, Scoped Operations, and Parameterized Algebraic Theories. 8:1-8:33

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.