Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcs/BerardiT12,
  author       = {Stefano Berardi and
                  Makoto Tatsuta},
  title        = {Internal models of system {F} for decompilation},
  journal      = {Theor. Comput. Sci.},
  volume       = {435},
  pages        = {3--20},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2012.02.022},
  doi          = {10.1016/J.TCS.2012.02.022},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BerardiT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BlumeV12,
  author       = {Matthias Blume and
                  Germ{\'{a}}n Vidal},
  title        = {Preface},
  journal      = {Theor. Comput. Sci.},
  volume       = {435},
  pages        = {1--2},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2012.02.021},
  doi          = {10.1016/J.TCS.2012.02.021},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BlumeV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DanvyMMZ12,
  author       = {Olivier Danvy and
                  Kevin Millikin and
                  Johan Munk and
                  Ian Zerny},
  title        = {On inter-deriving small-step and big-step semantics: {A} case study
                  for storeless call-by-need evaluation},
  journal      = {Theor. Comput. Sci.},
  volume       = {435},
  pages        = {21--42},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2012.02.023},
  doi          = {10.1016/J.TCS.2012.02.023},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/DanvyMMZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HoweK12,
  author       = {Jacob M. Howe and
                  Andy King},
  title        = {A pearl on {SAT} and {SMT} solving in Prolog},
  journal      = {Theor. Comput. Sci.},
  volume       = {435},
  pages        = {43--55},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2012.02.024},
  doi          = {10.1016/J.TCS.2012.02.024},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HoweK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Kiselyov12,
  author       = {Oleg Kiselyov},
  title        = {Delimited control in OCaml, abstractly and concretely},
  journal      = {Theor. Comput. Sci.},
  volume       = {435},
  pages        = {56--76},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2012.02.025},
  doi          = {10.1016/J.TCS.2012.02.025},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Kiselyov12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/RemyY12,
  author       = {Didier R{\'{e}}my and
                  Boris Yakobowski},
  title        = {A church-style intermediate language for {MLF}},
  journal      = {Theor. Comput. Sci.},
  volume       = {435},
  pages        = {77--105},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2012.02.026},
  doi          = {10.1016/J.TCS.2012.02.026},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/RemyY12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Saurin12,
  author       = {Alexis Saurin},
  title        = {B{\"{o}}hm theorem and B{\"{o}}hm trees for the {\(\lambda\)}{\(\mu\)}-calculus},
  journal      = {Theor. Comput. Sci.},
  volume       = {435},
  pages        = {106--138},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2012.02.027},
  doi          = {10.1016/J.TCS.2012.02.027},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Saurin12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}