|
eCommons@Cornell >
Faculty of Computing and Information Science >
Computing and Information Science >
Computing and Information Science Technical Reports >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1813/5710
| Title: | A Causal Logic of Events in Formalized Computational Type Theory |
| Authors: | Bickford, Mark
Constable, Robert L. |
| Keywords: | computer science
technical report |
| Issue Date: | 13-Dec-2005 |
| Publisher: | Cornell University |
| Citation: | http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cis/TR2005-2010 |
| Abstract: | We provide a logic for distributed computing that has the
explanatory and technical power of constructive logics of computation. Inparticular, we establish a proof technology that supports correct-by-construction programming based on the notion that concurrent processes can be extracted from proofs that specifications are achievable. |
| URI: | http://hdl.handle.net/1813/5710 |
| Appears in Collections: | Computing and Information Science Technical Reports
|
Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.
|
