Search dblp for Publications

• > Home > Search

@article{DBLP:journals/toplas/DinHHJPT24,
  author       = {Crystal Chang Din and
                  Reiner H{\"{a}}hnle and
                  Ludovic Henrio and
                  Einar Broch Johnsen and
                  Violet Ka I Pun and
                  Silvia Lizeth Tapia Tarifa},
  title        = {Locally Abstract, Globally Concrete Semantics of Concurrent Programming
                  Languages},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {46},
  number       = {1},
  pages        = {3:1--3:58},
  year         = {2024},
  url          = {https://doi.org/10.1145/3648439},
  doi          = {10.1145/3648439},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/DinHHJPT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/GiallorenzoMP24,
  author       = {Saverio Giallorenzo and
                  Fabrizio Montesi and
                  Marco Peressotti},
  title        = {Choral: Object-oriented Choreographic Programming},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {46},
  number       = {1},
  pages        = {1:1--1:59},
  year         = {2024},
  url          = {https://doi.org/10.1145/3632398},
  doi          = {10.1145/3632398},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/GiallorenzoMP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/HaasMYBM24,
  author       = {Julian Haas and
                  Ragnar Mogk and
                  Elena Yanakieva and
                  Annette Bieniusa and
                  Mira Mezini},
  title        = {LoRe: {A} Programming Model for Verifiably Safe Local-first Software},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {46},
  number       = {1},
  pages        = {2:1--2:26},
  year         = {2024},
  url          = {https://doi.org/10.1145/3633769},
  doi          = {10.1145/3633769},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/HaasMYBM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/SteinCS24,
  author       = {Benno Stein and
                  Bor{-}Yuh Evan Chang and
                  Manu Sridharan},
  title        = {Interactive Abstract Interpretation with Demanded Summarization},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {46},
  number       = {1},
  pages        = {4:1--4:40},
  year         = {2024},
  url          = {https://doi.org/10.1145/3648441},
  doi          = {10.1145/3648441},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/SteinCS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}