Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan. Automatically Closing Open Reactive Programs. In PLDI. pages 345-357, 1998.
@inproceedings{ColbyGJ98,
title = {Automatically Closing Open Reactive Programs},
author = {Christopher Colby and Patrice Godefroid and Lalita Jategaonkar Jagadeesan},
year = {1998},
tags = {reactive programming, source-to-source, programming, open-source},
researchr = {https://researchr.org/publication/ColbyGJ98},
cites = {0},
citedby = {0},
pages = {345-357},
booktitle = {PLDI},
}