Reasoning about client-side web programs: invited talk
File(s)Gardner2010Reasoning.pdf (81.33 KB)
Accepted version
Author(s)
Gardner, P
Type
Conference Paper
Date Issued
2010-03-22
Date Acceptance
2010-03-22
Citation
Proceedings of the 2010 EDBT/ICDT Workshops, 2010
ISBN
978-1-60558-990-9
Publisher
Association for Computing Machinery
Journal / Book Title
Proceedings of the 2010 EDBT/ICDT Workshops
Copyright Statement
© ACM 2010. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the 2010 EDBT/ICDT Workshops, http://dx.doi.org/10.1145/1754239.1754261
Source
2010 EDBT/ICDT Workshops (EDBT '10)
Publication Status
Published
Start Date
2010-03-22
Finish Date
2010-03-26
Coverage Spatial
Lausanne, Switzerland