Posts By: hbrandl
| Date | Post | Topic |
| 07/16/2012 | Lattices - Partial orders with infimum and supremum | Lattices - Partial orders with infimum and supremum |
| 07/16/2012 | It takes some time to build | Lattices - Partial orders with infimum and supremum |
| 07/17/2012 | The link to the first paper | Lattices - Partial orders with infimum and supremum |
| 07/17/2012 | I have found a paper with | Lattices - Partial orders with infimum and supremum |
| 07/01/2012 | The verified insertion sort algorithm | The verified insertion sort algorithm |
| 06/18/2012 | Modern Eiffels type system has no void references | Null, bottom, etc.? |
| 06/19/2012 | Null, bottom, etc.? | Null, bottom, etc.? |
| 06/25/2012 | It is not yet decided. But | Null, bottom, etc.? |
| 06/18/2012 | Framing: The implementation side | Framing: The implementation side |
| 06/19/2012 | Scope, precise answer, ... | Framing: The implementation side |
| 06/19/2012 | functions and procedures | Framing: The implementation side |
| 06/20/2012 | equals for equals and identicals for identicals | Framing: The implementation side |
| 06/19/2012 | derived frame contracts | Framing: The implementation side |
| 06/20/2012 | Since the language | Framing: The implementation side |
| 06/03/2012 | Abstraction wins: An approach to framing and mutability | Abstraction wins: An approach to framing and mutability |
| 06/06/2012 | Could you elaborate more on | Abstraction wins: An approach to framing and mutability |
| 06/12/2012 | It is all about framing | Abstraction wins: An approach to framing and mutability |
| 06/13/2012 | derivable conditions | Abstraction wins: An approach to framing and mutability |
| 05/29/2012 | Order structure, an excercise in abstraction and multiple inheritance | Order structure, an excercise in abstraction and multiple inheritance |
| 05/31/2012 | Impressive. I didn't know of | Order structure, an excercise in abstraction and multiple inheritance |
| 05/17/2012 | Predicates, ghost predicates and higher order predicates | Predicates, ghost predicates and higher order predicates |
| 05/08/2012 | Proofs as programs | Proofs as programs |
| 05/08/2012 | Natural deduction versus Hilbert style proofs | Proofs as programs |
| 05/08/2012 | Paradoxes | Proofs as programs |
| 05/10/2012 | Computations and propositions (assertions) | Proofs as programs |
| 05/27/2012 | Computability | Proofs as programs |
| 05/09/2012 | All programs and every business logic and GUI is the goal | Proofs as programs |
| 05/14/2012 | And for people not capable of using coq? | Proofs as programs |
| 05/17/2012 | This is my experience as | Proofs as programs |
| 04/30/2012 | Tuples, functions, ghost functions and higher order functions | Tuples, functions, ghost functions and higher order functions |
| 04/24/2012 | Inheritance and formal verification of software | Inheritance and formal verification of software |
| 04/21/2012 | Specification and implementation of modules in Modern Eiffel | Specification and implementation of modules in Modern Eiffel |
| 04/02/2012 | Predicate calculus in program verification | Predicate calculus in program verification |
| 03/08/2012 | Reasoning with inductive types | Reasoning with inductive types |
| 03/09/2012 | Language definiton phase | Reasoning with inductive types |
| 02/27/2012 | Negation and proofs by contradiction with the proof engine | Negation and proofs by contradiction with the proof engine |
| 02/20/2012 | Introduction to the proof engine for static verification of software | Introduction to the proof engine for static verification of software |
| 01/25/2012 | Language outline of Modern Eiffel (SW Verification) | Language outline of Modern Eiffel (SW Verification) |
| 01/31/2012 | Maybe you are right. Next | Language outline of Modern Eiffel (SW Verification) |
| 09/14/2011 | Correctness proofs demonstrated with natural numbers | Correctness proofs demonstrated with natural numbers |
| 03/14/2011 | Modern Eiffel | Modern Eiffel |
| 03/27/2011 | That is a typo. It should | Modern Eiffel |
| 07/07/2010 | A proof engine for Eiffel | A proof engine for Eiffel |
| 07/15/2010 | As soon as I find more time, | A proof engine for Eiffel |
| 07/19/2010 | Sorry for the irritating | A proof engine for Eiffel |
| 07/24/2010 | done | A proof engine for Eiffel |
| 05/08/2010 | A solution to the catcall problem in Eiffel | A solution to the catcall problem in Eiffel |
| 05/23/2010 | You are right. I have been a | A solution to the catcall problem in Eiffel |
| 01/24/2010 | applicability to real OO Software | The Theory and Calculus of Aliasing |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |