@inproceedings{DBLP:conf/plilp/MasseyT95,
 author = {Barton C. Massey and
Evan Tick},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/plilp/MasseyT95.bib},
 booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International
Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
 doi = {10.1007/BFB0026822},
 editor = {Manuel V. Hermenegildo and
S. Doaitse Swierstra},
 pages = {207--222},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 timestamp = {Tue, 14 May 2019 10:00:35 +0200},
 title = {Modes of Comprehension: Mode Analysis of Arrays and Array Comprehensions},
 url = {https://doi.org/10.1007/BFb0026822},
 volume = {982},
 year = {1995}
}