Objective and Subjective Specifications
Author: Eric Hehner
Paper Information
| Title: | Objective and Subjective Specifications |
| Authors: | Eric Hehner |
| Proceedings: | WST WST2018proceedings |
| Editor: | Salvador Lucas |
| Keywords: | specification, Church-Turing thesis, halting problem |
| Abstract: | ABSTRACT. We examine specifications for dependence on the agent that performs them. We look at the consequences for the Church-Turing Thesis and for the Halting Problem. |
| Pages: | 5 |
| Talk: | Jul 18 12:00 (Session 126Q: Program termination and orderings (I)) |
| Paper: |  |