Search dblp for Publications

export results for "toc:db/journals/toplas/toplas40.bht:"

 download as .bib file

@article{DBLP:journals/toplas/BanerjeeNN18,
  author       = {Anindya Banerjee and
                  David A. Naumann and
                  Mohammad Nikouei},
  title        = {A Logical Analysis of Framing for Specifications with Pure Method
                  Calls},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {40},
  number       = {2},
  pages        = {6:1--6:90},
  year         = {2018},
  url          = {https://doi.org/10.1145/3174801},
  doi          = {10.1145/3174801},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/BanerjeeNN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/ChatterjeeFNH18,
  author       = {Krishnendu Chatterjee and
                  Hongfei Fu and
                  Petr Novotn{\'{y}} and
                  Rouzbeh Hasheminezhad},
  title        = {Algorithmic Analysis of Qualitative and Quantitative Termination Problems
                  for Affine Probabilistic Programs},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {40},
  number       = {2},
  pages        = {7:1--7:45},
  year         = {2018},
  url          = {https://doi.org/10.1145/3174800},
  doi          = {10.1145/3174800},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/ChatterjeeFNH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/ChatterjeeIGP18,
  author       = {Krishnendu Chatterjee and
                  Rasmus Ibsen{-}Jensen and
                  Amir Kafshdar Goharshady and
                  Andreas Pavlogiannis},
  title        = {Algorithms for Algebraic Path Properties in Concurrent Systems of
                  Constant Treewidth Components},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {40},
  number       = {3},
  pages        = {9:1--9:43},
  year         = {2018},
  url          = {https://doi.org/10.1145/3210257},
  doi          = {10.1145/3210257},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/ChatterjeeIGP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/ChenDKSW18,
  author       = {Hong{-}Yi Chen and
                  Cristina David and
                  Daniel Kroening and
                  Peter Schrammel and
                  Bj{\"{o}}rn Wachter},
  title        = {Bit-Precise Procedure-Modular Termination Analysis},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {40},
  number       = {1},
  pages        = {1:1--1:38},
  year         = {2018},
  url          = {https://doi.org/10.1145/3121136},
  doi          = {10.1145/3121136},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/ChenDKSW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/DanicicL18,
  author       = {Sebastian Danicic and
                  Michael R. Laurence},
  title        = {Static Backward Slicing of Non-deterministic Programs and Systems},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {40},
  number       = {3},
  pages        = {11:1--11:46},
  year         = {2018},
  url          = {https://doi.org/10.1145/2886098},
  doi          = {10.1145/2886098},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/DanicicL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/DavidKKL18,
  author       = {Cristina David and
                  Pascal Kesseli and
                  Daniel Kroening and
                  Matt Lewis},
  title        = {Program Synthesis for Program Analysis},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {40},
  number       = {2},
  pages        = {5:1--5:45},
  year         = {2018},
  url          = {https://doi.org/10.1145/3174802},
  doi          = {10.1145/3174802},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/DavidKKL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/FlorenceFFTSKWN18,
  author       = {Spencer P. Florence and
                  Burke Fetscher and
                  Matthew Flatt and
                  William H. Temps and
                  Vincent St{-}Amour and
                  Tina Kiguradze and
                  Dennis P. West and
                  Charlotte Niznik and
                  Paul R. Yarnold and
                  Robert Bruce Findler and
                  Steven M. Belknap},
  title        = {{POP-PL:} {A} Patient-Oriented Prescription Programming Language},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {40},
  number       = {3},
  pages        = {10:1--10:37},
  year         = {2018},
  url          = {https://doi.org/10.1145/3210256},
  doi          = {10.1145/3210256},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/FlorenceFFTSKWN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/GrimmerSSWL18,
  author       = {Matthias Grimmer and
                  Roland Schatz and
                  Chris Seaton and
                  Thomas W{\"{u}}rthinger and
                  Mikel Luj{\'{a}}n},
  title        = {Cross-Language Interoperability in a Multi-Language Runtime},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {40},
  number       = {2},
  pages        = {8:1--8:43},
  year         = {2018},
  url          = {https://doi.org/10.1145/3201898},
  doi          = {10.1145/3201898},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/GrimmerSSWL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/HeoOYY18,
  author       = {Kihong Heo and
                  Hakjoo Oh and
                  Hongseok Yang and
                  Kwangkeun Yi},
  title        = {Adaptive Static Analysis via Learning with Bayesian Optimization},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {40},
  number       = {4},
  pages        = {14:1--14:37},
  year         = {2018},
  url          = {https://doi.org/10.1145/3121135},
  doi          = {10.1145/3121135},
  timestamp    = {Fri, 10 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/HeoOYY18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/JacobsBK18,
  author       = {Bart Jacobs and
                  Dragan Bosnacki and
                  Ruurd Kuiper},
  title        = {Modular Termination Verification of Single-Threaded and Multithreaded
                  Programs},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {40},
  number       = {3},
  pages        = {12:1--12:59},
  year         = {2018},
  url          = {https://doi.org/10.1145/3210258},
  doi          = {10.1145/3210258},
  timestamp    = {Tue, 21 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/JacobsBK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/KimRR18,
  author       = {Se{-}Won Kim and
                  Xavier Rival and
                  Sukyoung Ryu},
  title        = {A Theoretical Foundation of Sensitivity in an Abstract Interpretation
                  Framework},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {40},
  number       = {3},
  pages        = {13:1--13:44},
  year         = {2018},
  url          = {https://doi.org/10.1145/3230624},
  doi          = {10.1145/3230624},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/KimRR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/LidmanM18,
  author       = {Jacob Lidman and
                  Sally A. McKee},
  title        = {Verifying Reliability Properties Using the Hyperball Abstract Domain},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {40},
  number       = {1},
  pages        = {3:1--3:29},
  year         = {2018},
  url          = {https://doi.org/10.1145/3156017},
  doi          = {10.1145/3156017},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/LidmanM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Myers18,
  author       = {Andrew Myers},
  title        = {Editor's Foreword to "Static Backward Slicing of Non-Deterministic
                  Programs and Systems"},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {40},
  number       = {3},
  year         = {2018},
  url          = {https://doi.org/10.1145/3243871},
  doi          = {10.1145/3243871},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Myers18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/OlmedoGJKKM18,
  author       = {Federico Olmedo and
                  Friedrich Gretz and
                  Nils Jansen and
                  Benjamin Lucien Kaminski and
                  Joost{-}Pieter Katoen and
                  Annabelle McIver},
  title        = {Conditioning in Probabilistic Programming},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {40},
  number       = {1},
  pages        = {4:1--4:50},
  year         = {2018},
  url          = {https://doi.org/10.1145/3156018},
  doi          = {10.1145/3156018},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/OlmedoGJKKM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Steimann18,
  author       = {Friedrich Steimann},
  title        = {Constraint-Based Refactoring},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {40},
  number       = {1},
  pages        = {2:1--2:40},
  year         = {2018},
  url          = {https://doi.org/10.1145/3156016},
  doi          = {10.1145/3156016},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Steimann18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/ToninhoY18,
  author       = {Bernardo Toninho and
                  Nobuko Yoshida},
  title        = {Interconnectability of Session-Based Logical Processes},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {40},
  number       = {4},
  pages        = {17:1--17:42},
  year         = {2018},
  url          = {https://doi.org/10.1145/3242173},
  doi          = {10.1145/3242173},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/ToninhoY18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/ToroGT18,
  author       = {Mat{\'{\i}}as Toro and
                  Ronald Garcia and
                  {\'{E}}ric Tanter},
  title        = {Type-Driven Gradual Security with References},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {40},
  number       = {4},
  pages        = {16:1--16:55},
  year         = {2018},
  url          = {https://doi.org/10.1145/3229061},
  doi          = {10.1145/3229061},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/ToroGT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/UgawaRJ18,
  author       = {Tomoharu Ugawa and
                  Carl G. Ritson and
                  Richard E. Jones},
  title        = {Transactional Sapphire: Lessons in High-Performance, On-the-fly Garbage
                  Collection},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {40},
  number       = {4},
  pages        = {15:1--15:56},
  year         = {2018},
  url          = {https://doi.org/10.1145/3226225},
  doi          = {10.1145/3226225},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/UgawaRJ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/X18,
  title        = {Corrigendum to "Cross-Language Interoperability in a Multi-Language
                  Runtime", by Grimmer et al., {ACM} Transactions on Programming Languages
                  and Systems {(TOPLAS)} Volume 40, Issue 2, Article No. 8},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {40},
  number       = {4},
  pages        = {18:1},
  year         = {2018},
  url          = {https://doi.org/10.1145/3283723},
  doi          = {10.1145/3283723},
  timestamp    = {Fri, 10 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/X18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.