[an error occurred while processing this directive]<meta name="keywords" content="Department of Computer Science, publications, by bibtex, A Theory of Least Change for Bidirectional Transformations"></meta><meta name="description" content="Publications, by bibtex,A Theory of Least Change for Bidirectional Transformations, Department of Computer Science, Oxford"></meta><title>Department of Computer Science: Bidirectional Transformations: Publications
</title><style type="text/css">
			  .btn-toolbar::after, .btn-toolbar::before
			  {
			    content: " ";
			    display: table;
			  }

			
			.btn-toolbar
			{
			    margin-bottom: 2em;
			}

			  .btn-toolbar::after, .btn-group::after
			  {
			    clear: both;
			  }


			.btn-toolbar .btn, .btn-toolbar .btn-group
			  {
			    float: left;
			}
			
			.btn-group
			  {
			    display: inline-block;
			    position: relative;
			    vertical-align: middle;
			}

			  .btn-group > .btn:first-child:not(:last-child)
			  {
			    border-bottom-right-radius: 0;
			    border-top-right-radius: 0;
			}
			
			.btn-group > .btn:first-child
			  {
			    margin-left: 0;
			}

			.btn-group > .btn
			  {
			    float: left;
			    position: relative;
			}

			  .btn-group > .btn:not(:first-child):not(:last-child)
			  {
			    border-radius: 0;
			}
			
			  .btn-group > .btn:last-child:not(:first-child)
			  {
			    border-bottom-left-radius: 0;
			    border-top-left-radius: 0;
			}
			
			.btn-group .btn + .btn, .btn-group .btn + .btn-group, .btn-group .btn-group + .btn, .btn-group .btn-group + .btn-group
			  {
			    margin-left: -2px;
			}
			</style>[an error occurred while processing this directive]<div class="content-width"><ol class="breadcrumb text-uppercase"><li><a href="/">Home</a></li><li><a href="/research/">Research</a></li><li><a href="/research/pl/">Programming Languages</a></li><li><a href="/research/pl/projects.html">projects</a></li><li><a href="/projects/tlcbx/">Bidirectional Transformations</a></li><li class="active">Publications</li></ol></div><!-- MOBILE NAVIGATION --><div class="content-width space-below mobile-menu-placeholder visible-xs visible-sm"></div><!-- COLUMNS --><div class="container-fluid content-width"><div class="row"><div class="col-xs-12 col-md-9 col-md-push-3" id="maincontent"><!-- CONTENT (Column 2) --><div class="page-title"><h1>Bidirectional Transformations: Publications
</h1></div><div role="toolbar" class="btn-toolbar"><div class="btn-group"><a href="/projects/publications/date/tlcbx.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By date</a><a href="/projects/publications/title/tlcbx.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By title</a><a href="/projects/publications/type/tlcbx.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By type</a><a href="/projects/publications/bibtex/tlcbx.html" aria-hidden="true" type="button" class="btn btn-oxford-blue"><span class="glyphicon glyphicon-file"></span> BibTex</a></div></div><p>Click <a href="/projects/publications/bibtex/tlcbx.bib">here</a> to download all publications in a single bibtex file</p><pre>
@book{ssbx,
  title = "Bidirectional Transformations",
  author = "Jeremy Gibbons and Perdita Stevens",
  year = "2018",
  editor = "Jeremy Gibbons and Perdita Stevens",
  isbn = "978-3-319-79107-4",
  publisher = "Springer",
  series = "LNCS",
  url = "https://link.springer.com/book/10.1007%2F978-3-319-79108-1",
  volume = "9715",
  doi = "10.1007/978-3-319-79108-1",
}</pre><pre>
@article{ssbx-intro,
  title = "Introduction to Bidirectional Transformations",
  author = "Faris Abou-Saleh and James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens",
  year = "2018",
  booktitle = "Bidirectional Transformations",
  pages = "1-28",
  publisher = "Springer",
  series = "LNCS",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/ssbx-intro.pdf",
  volume = "9715",
  doi = "10.1007/978-3-319-79108-1_1",
}</pre><pre>
@article{cbx-jot,
  title = "Coalgebraic Aspects of Bidirectional Computation",
  author = "Faris Abou-Saleh and James McKinna and Jeremy Gibbons",
  year = "2017",
  journal = "Journal of Object Technology",
  number = "1",
  pages = "1:1-29",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/cbx-jot.pdf",
  volume = "16",
  doi = "10.5381/jot.2017.16.1.a1",
}</pre><pre>
@article{leastchange-jot,
  title = "On Principles of Least Change and Least Surprise for Bidirectional Transformations",
  author = "James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens",
  year = "2017",
  journal = "Journal of Object Technology",
  number = "1",
  pages = "3:1-31",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/leastchange-jot.pdf",
  volume = "16",
  doi = "10.5381/jot.2017.16.1.a3",
}</pre><pre>
@inproceedings{mlenses,
  title = "Reflections on Monadic Lenses",
  author = "Faris Abou-Saleh and James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens",
  year = "2016",
  booktitle = "A List of Successes That Can Change the World",
  month = "April",
  pages = "1-31",
  publisher = "Springer",
  series = "LNCS",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/mlenses.pdf",
  volume = "9600",
  doi = "10.1007/978-3-319-30936-1_1",
}</pre><pre>
@inproceedings{entangled,
  title = "Notions of Bidirectional Computation and Entangled State Monads",
  author = "Faris Abou-Saleh and James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens",
  year = "2015",
  booktitle = "Mathematics of Program Construction",
  month = "June",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/entangled.pdf",
}</pre><pre>
@article{bx-effectful,
  title = "Bidirectional Transformation is Effectful",
  author = "Faris Abou-Saleh and James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens",
  year = "2015",
  booktitle = "SNAPL: The Inaugural Summit on Advances in Programming Languages",
  month = "May",
  note = "This is an abstract of the paper "Notions of Bidirectional Computation and Entangled State Monads", to appear at MPC 2015",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/bx-effectful.pdf",
}</pre><pre>
@inproceedings{entangled-abs,
  title = "Entangled State Monads",
  author = "James Cheney and James McKinna and Perdita Stevens and Jeremy Gibbons and Faris Abou-Saleh",
  year = "2014",
  booktitle = "BX Workshop",
  month = "March",
  url = "http://ceur-ws.org/Vol-1133/paper-17.pdf",
}</pre><pre>
@inproceedings{repo,
  title = "Towards a Repository of BX Examples",
  author = "James Cheney and James McKinna and Perdita Stevens and Jeremy Gibbons",
  year = "2014",
  booktitle = "BX Workshop",
  month = "March",
  url = "http://ceur-ws.org/Vol-1133/paper-14.pdf",
}</pre></div><div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col">[an error occurred while processing this directive]</div></div></div>[an error occurred while processing this directive]