Search dblp for Publications

export results for "stream:streams/journals/ftpl:"

 download as .bib file

@article{DBLP:journals/ftpl/LiangF20,
  author    = {Hongjin Liang and
               Xinyu Feng},
  title     = {Progress of Concurrent Objects},
  journal   = {Found. Trends Program. Lang.},
  volume    = {5},
  number    = {4},
  pages     = {282--414},
  year      = {2020},
  url       = {https://doi.org/10.1561/2500000041},
  doi       = {10.1561/2500000041},
  timestamp = {Fri, 05 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ftpl/LiangF20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/RingerPSGT19,
  author    = {Talia Ringer and
               Karl Palmskog and
               Ilya Sergey and
               Milos Gligoric and
               Zachary Tatlock},
  title     = {{QED} at Large: {A} Survey of Engineering of Formally Verified Software},
  journal   = {Found. Trends Program. Lang.},
  volume    = {5},
  number    = {2-3},
  pages     = {102--281},
  year      = {2019},
  url       = {https://doi.org/10.1561/2500000045},
  doi       = {10.1561/2500000045},
  timestamp = {Wed, 20 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ftpl/RingerPSGT19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/Kiselyov18,
  author    = {Oleg Kiselyov},
  title     = {Reconciling Abstraction with High Performance: {A} MetaOCaml approach},
  journal   = {Found. Trends Program. Lang.},
  volume    = {5},
  number    = {1},
  pages     = {1--101},
  year      = {2018},
  url       = {https://doi.org/10.1561/2500000038},
  doi       = {10.1561/2500000038},
  timestamp = {Wed, 20 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ftpl/Kiselyov18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/GulwaniPS17,
  author    = {Sumit Gulwani and
               Oleksandr Polozov and
               Rishabh Singh},
  title     = {Program Synthesis},
  journal   = {Found. Trends Program. Lang.},
  volume    = {4},
  number    = {1-2},
  pages     = {1--119},
  year      = {2017},
  url       = {https://doi.org/10.1561/2500000010},
  doi       = {10.1561/2500000010},
  timestamp = {Wed, 20 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ftpl/GulwaniPS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/Mine17,
  author    = {Antoine Min{\'{e}}},
  title     = {Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation},
  journal   = {Found. Trends Program. Lang.},
  volume    = {4},
  number    = {3-4},
  pages     = {120--372},
  year      = {2017},
  url       = {https://doi.org/10.1561/2500000034},
  doi       = {10.1561/2500000034},
  timestamp = {Wed, 20 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ftpl/Mine17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/AnconaBB0CDGGGH16,
  author    = {Davide Ancona and
               Viviana Bono and
               Mario Bravetti and
               Joana Campos and
               Giuseppe Castagna and
               Pierre{-}Malo Deni{\'{e}}lou and
               Simon J. Gay and
               Nils Gesbert and
               Elena Giachino and
               Raymond Hu and
               Einar Broch Johnsen and
               Francisco Martins and
               Viviana Mascardi and
               Fabrizio Montesi and
               Rumyana Neykova and
               Nicholas Ng and
               Luca Padovani and
               Vasco T. Vasconcelos and
               Nobuko Yoshida},
  title     = {Behavioral Types in Programming Languages},
  journal   = {Found. Trends Program. Lang.},
  volume    = {3},
  number    = {2-3},
  pages     = {95--230},
  year      = {2016},
  url       = {https://doi.org/10.1561/2500000031},
  doi       = {10.1561/2500000031},
  timestamp = {Wed, 20 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ftpl/AnconaBB0CDGGGH16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/CheungS16,
  author    = {Alvin Cheung and
               Armando Solar{-}Lezama},
  title     = {Computer-Assisted Query Formulation},
  journal   = {Found. Trends Program. Lang.},
  volume    = {3},
  number    = {1},
  pages     = {1--94},
  year      = {2016},
  url       = {https://doi.org/10.1561/2500000018},
  doi       = {10.1561/2500000018},
  timestamp = {Wed, 20 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ftpl/CheungS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/MurawskiT16,
  author    = {Andrzej S. Murawski and
               Nikos Tzevelekos},
  title     = {Nominal Game Semantics},
  journal   = {Found. Trends Program. Lang.},
  volume    = {2},
  number    = {4},
  pages     = {191--269},
  year      = {2016},
  url       = {https://doi.org/10.1561/2500000017},
  doi       = {10.1561/2500000017},
  timestamp = {Wed, 20 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ftpl/MurawskiT16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/VechevY16,
  author    = {Martin T. Vechev and
               Eran Yahav},
  title     = {Programming with "Big Code"},
  journal   = {Found. Trends Program. Lang.},
  volume    = {3},
  number    = {4},
  pages     = {231--284},
  year      = {2016},
  url       = {https://doi.org/10.1561/2500000028},
  doi       = {10.1561/2500000028},
  timestamp = {Wed, 20 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ftpl/VechevY16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/BertraneCCFMMR15,
  author    = {Julien Bertrane and
               Patrick Cousot and
               Radhia Cousot and
               J{\'{e}}r{\^{o}}me Feret and
               Laurent Mauborgne and
               Antoine Min{\'{e}} and
               Xavier Rival},
  title     = {Static Analysis and Verification of Aerospace Software by Abstract
               Interpretation},
  journal   = {Found. Trends Program. Lang.},
  volume    = {2},
  number    = {2-3},
  pages     = {71--190},
  year      = {2015},
  url       = {https://doi.org/10.1561/2500000002},
  doi       = {10.1561/2500000002},
  timestamp = {Wed, 20 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ftpl/BertraneCCFMMR15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/MadhavanRV15,
  author    = {Ravichandhran Madhavan and
               G. Ramalingam and
               Kapil Vaswani},
  title     = {A Framework For Efficient Modular Heap Analysis},
  journal   = {Found. Trends Program. Lang.},
  volume    = {1},
  number    = {4},
  pages     = {269--381},
  year      = {2015},
  url       = {https://doi.org/10.1561/2500000020},
  doi       = {10.1561/2500000020},
  timestamp = {Wed, 20 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ftpl/MadhavanRV15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/SmaragdakisB15,
  author    = {Yannis Smaragdakis and
               George Balatsouras},
  title     = {Pointer Analysis},
  journal   = {Found. Trends Program. Lang.},
  volume    = {2},
  number    = {1},
  pages     = {1--69},
  year      = {2015},
  url       = {https://doi.org/10.1561/2500000014},
  doi       = {10.1561/2500000014},
  timestamp = {Wed, 20 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ftpl/SmaragdakisB15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/Burckhardt14,
  author    = {Sebastian Burckhardt},
  title     = {Principles of Eventual Consistency},
  journal   = {Found. Trends Program. Lang.},
  volume    = {1},
  number    = {1-2},
  pages     = {1--150},
  year      = {2014},
  url       = {https://doi.org/10.1561/2500000011},
  doi       = {10.1561/2500000011},
  timestamp = {Wed, 20 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ftpl/Burckhardt14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/CortierK14,
  author    = {V{\'{e}}ronique Cortier and
               Steve Kremer},
  title     = {Formal Models and Techniques for Analyzing Security Protocols: {A}
               Tutorial},
  journal   = {Found. Trends Program. Lang.},
  volume    = {1},
  number    = {3},
  pages     = {151--267},
  year      = {2014},
  url       = {https://doi.org/10.1561/2500000001},
  doi       = {10.1561/2500000001},
  timestamp = {Wed, 20 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ftpl/CortierK14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics