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

Volume 46, Number 3, September 2024

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/BoerJPT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/BoerJPT24
Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa:
Proving Correctness of Parallel Implementations of Transition System Models. 9:1-9:50
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/Rasch24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/Rasch24
Ari Rasch:
(De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms. 10:1-10:74
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/AscariBG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/AscariBG24
Flavio Ascari, Roberto Bruni, Roberta Gori:
Limits and Difficulties in the Design of Under-Approximation Abstract Domains. 11:1-11:31

Volume 46, Number 4, December 2024

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/KolokasisEAKPZPB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/KolokasisEAKPZPB24
Iacovos G. Kolokasis, Giannos Evdorou, Shoaib Akram, Christos Kozanitis, Anastasios Papagiannis, Foivos S. Zakkak, Polyvios Pratikakis, Angelos Bilas:
TeraHeap: Exploiting Flash Storage for Mitigating DRAM Pressure in Managed Big Data Frameworks. 12:1-12:37
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/PatrignaniKWC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/PatrignaniKWC24
Marco Patrignani, Robert Künnemann, Riad S. Wahby, Ethan Cecchetti:
Universal Composability Is Robust Compilation. 13:1-13:64
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/DiVincenzoMZGGRZSTA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/DiVincenzoMZGGRZSTA24
Jenna DiVincenzo, Ian McCormack, Conrad Zimmerman, Hemant Gouni, Jacob Gorenburg, Jan-Paul Ramos-Dávila, Mona Zhang, Joshua Sunshine, Éric Tanter, Jonathan Aldrich:
Gradual C0: Symbolic Execution for Gradual Verification. 14:1-14:57
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/HuP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/HuP24
Jason Z. S. Hu, Brigitte Pientka:
A Layered Approach to Intensional Analysis in Type Theory. 15:1-15:43

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.