Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Effect-dependent transformations for concurrent programs

Nick Benton, Martin Hofmann, and Vivek Nigam. Effect-dependent transformations for concurrent programs. Sci. Comput. Program., 155:27–51, 2018.

Download

[PDF] [gzipped postscript] [postscript] [HTML] 

Abstract

(unavailable)

BibTeX

@article{benton18scp,
  author    = {Nick Benton and
               Martin Hofmann and
               Vivek Nigam},
  title     = {Effect-dependent transformations for concurrent programs},
  journal   = {Sci. Comput. Program.},
  volume    = {155},
  pages     = {27--51},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.scico.2017.11.001},
  doi       = {10.1016/j.scico.2017.11.001},
  bib2html_pubtype = {Journal},
  bib2html_rescat = {Denotational Semantics},
  bib2html_dl_pdf = "/docs/ppdp16-journal.pdf",
}

Generated by bib2html.pl (written by Patrick Riley ) on Fri Apr 20, 2018 10:54:24