View in EDS

Tracing sharing in an imperative pure calculus.

Saved in:
Bibliographic Details
Title: Tracing sharing in an imperative pure calculus.
Authors: Giannini, Paola1, giannini@di.unipmn.it, Richter, Tim2, tim@cs.uni-potsdam.de, Servetto, Marco3, marco.servetto@ecs.vuw.ac.nz, Zucca, Elena4, elena.zucca@unige.it
Source: Science of Computer Programming; Mar2019, Vol. 172, p180-202, 23p
Database: Applied Science & Technology Source
Description
ISSN:01676423
DOI:10.1016/j.scico.2018.11.007