typetitleauthorlast post sort icon
Forum topicHow to name the inverse functions of constructors hbrandl2017-07-03 00:16
Forum topicSW verification continues hbrandl2017-05-16 21:54
Forum topicCompile and Statically Verify hbrandl2016-10-07 07:12
Forum topicAlbatross has grown two mighty wings: Induction and Recursion hbrandl2015-08-09 00:55
Forum topicMore information about Albatross hbrandl2015-05-29 13:47
Forum topicAlbatross formerly called Modern Eiffel is available hbrandl2015-05-08 19:57
Forum topicIntroduction to processes (Tony Hoare's CSP processes) hbrandl2014-04-29 21:48
Forum topicPrimitive recursive functions and fixpoints hbrandl2013-06-03 16:52
Forum topicMutable Structures: Arrays hbrandl2013-05-08 10:44
Forum topicEndofunctions, cycles and chains hbrandl2013-04-29 17:36
Forum topicFixpoint theory, induction and recursion hbrandl2013-03-08 04:14
Forum topicBinary relations, endorelations and transitive closures hbrandl2012-10-18 14:24
Forum topicProof formats hbrandl2012-09-27 14:47
Forum topicThe verified heap sort algorithm hbrandl2012-07-31 19:43
Forum topicLattices - Partial orders with infimum and supremum hbrandl2012-07-17 15:56
Forum topicThe verified insertion sort algorithm hbrandl2012-07-01 20:53
Forum topicNull, bottom, etc.? oconnor02012-06-25 23:41
Forum topicFraming: The implementation side hbrandl2012-06-20 20:17
Forum topicAbstraction wins: An approach to framing and mutability hbrandl2012-06-13 03:58
Forum topicOrder structure, an excercise in abstraction and multiple inheritance hbrandl2012-05-31 01:24
Forum topicProofs as programs hbrandl2012-05-29 09:43
Forum topicPredicates, ghost predicates and higher order predicates hbrandl2012-05-17 19:27
Forum topicTuples, functions, ghost functions and higher order functions hbrandl2012-04-30 14:55
Forum topicInheritance and formal verification of software hbrandl2012-04-24 14:23
Forum topicSpecification and implementation of modules in Modern Eiffel hbrandl2012-04-21 16:47