Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

ACM Transactions on Programming Languages and Systems, Volume 46

> 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 46, Number 1, March 2024

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/GiallorenzoMP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/GiallorenzoMP24
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti:
Choral: Object-oriented Choreographic Programming. 1:1-1:59
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/HaasMYBM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/HaasMYBM24
Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini:
LoRe: A Programming Model for Verifiably Safe Local-first Software. 2:1-2:26
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/DinHHJPT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/DinHHJPT24
Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa:
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. 3:1-3:58
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/SteinCS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/SteinCS24
Benno Stein, Bor-Yuh Evan Chang, Manu Sridharan:
Interactive Abstract Interpretation with Demanded Summarization. 4:1-4:40

a service of

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.