Lambda the Ultimate

type	title	author	last post
Forum topic	Null, bottom, etc.? It is not yet decided. But by hbrandl Thanks for the comment. No, by hbrandl Modern Eiffels type system has no void references by hbrandl	oconnor0	2012-06-25 23:41
Forum topic	Framing: The implementation side Since the language by hbrandl equals for equals and identicals for identicals by hbrandl derived frame contracts by hbrandl functions and procedures by hbrandl Scope, precise answer, ... by hbrandl	hbrandl	2012-06-20 20:17
Forum topic	Abstraction wins: An approach to framing and mutability derivable conditions by hbrandl It is all about framing by hbrandl Could you elaborate more on by hbrandl	hbrandl	2012-06-13 03:58
Forum topic	Order structure, an excercise in abstraction and multiple inheritance Impressive. I didn't know of by hbrandl	hbrandl	2012-05-31 01:24
Forum topic	Proofs as programs Computability by hbrandl This is my experience as by hbrandl And for people not capable of using coq? by hbrandl Computations and propositions (assertions) by hbrandl All programs and every business logic and GUI is the goal by hbrandl Paradoxes by hbrandl Natural deduction versus Hilbert style proofs by hbrandl	hbrandl	2012-05-29 09:43
Forum topic	Predicates, ghost predicates and higher order predicates	hbrandl	2012-05-17 19:27
Forum topic	Tuples, functions, ghost functions and higher order functions	hbrandl	2012-04-30 14:55
Forum topic	Inheritance and formal verification of software	hbrandl	2012-04-24 14:23
Forum topic	Specification and implementation of modules in Modern Eiffel	hbrandl	2012-04-21 16:47
Forum topic	Predicate calculus in program verification	hbrandl	2012-04-02 23:41
Forum topic	Reasoning with inductive types Language definiton phase by hbrandl	hbrandl	2012-03-09 14:54
Forum topic	Negation and proofs by contradiction with the proof engine	hbrandl	2012-02-27 18:27
Forum topic	Introduction to the proof engine for static verification of software	hbrandl	2012-02-20 17:46
Forum topic	Language outline of Modern Eiffel (SW Verification) Maybe you are right. Next by hbrandl	hbrandl	2012-01-31 19:20
Forum topic	Correctness proofs demonstrated with natural numbers	hbrandl	2011-09-14 20:34
Forum topic	Modern Eiffel That is a typo. It should by hbrandl	hbrandl	2011-03-27 18:56
Forum topic	A proof engine for Eiffel done by hbrandl Sorry for the irritating by hbrandl As soon as I find more time, by hbrandl	hbrandl	2010-07-24 21:09
Forum topic	A solution to the catcall problem in Eiffel You are right. I have been a by hbrandl	hbrandl	2010-05-23 13:15
Forum topic	The Theory and Calculus of Aliasing applicability to real OO Software by hbrandl	Bertrand_Meyer	2010-01-27 01:40
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation