Loading...
Please wait, while we are loading the content...
Similar Documents
Extended abstract of a hidden agenda
| Content Provider | Semantic Scholar |
|---|---|
| Author | Goguen, Joseph A. Malcolm, Grant |
| Copyright Year | 1996 |
| Abstract | The initial goal of our hidden research programme was both straightforward and ambitious: give a semantics for software engineering, and in particular for the object paradigm, supporting correctness proofs that are as simple and mechanical as possible. This emphasizes proofs rather than models, and thus suggests an equational approach, rather than one based on higher order logic, denotational semantics, or any kind of model, because equational proofs achieve maximal simplicity and mechanization, and yet are fully expressive. We introduce powerful coinduction techniques for proving behavioral properties of complex systems. We make the no doubt outrageous claim that our hidden approach gives simpler proofs than other formalisms; this is because we exploit algebraic structure that most other approaches discard. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.csc.liv.ac.uk/~grant/PS/habs.ps |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
