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

Volume 46, Number 2, June 2024

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/GiacobazziMP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/GiacobazziMP24
Roberto Giacobazzi, Isabella Mastroeni, Elia Perantoni:
Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation. 5
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/NougrahiyaN24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/NougrahiyaN24
Aman Nougrahiya, V. Krishna Nandivada:
Homeostasis: Design and Implementation of a Self-Stabilizing Compiler. 6
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/SistlaCR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/SistlaCR24
Meghana Aparna Sistla, Swarat Chaudhuri, Thomas W. Reps:
CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams. 7
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/JiZXWZH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/JiZXWZH24
Ruyi Ji, Yuwei Zhao, Yingfei Xiong, Di Wang, Lu Zhang, Zhenjiang Hu:
Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms. 8

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.