Lambda the Ultimate

type	title	author	last post
Forum topic	Introduction to processes (Tony Hoare's CSP processes) André, thanks for the hint by hbrandl The first rewritings you by hbrandl But x||y can be x|y or x||_y by hbrandl ACP: communication and interleaving by hbrandl You confirm that ACP has nondeterministic choice by hbrandl ACP: communication and interleaving by hbrandl ACP: communication and interleaving by hbrandl Scala/Eiffel, ACP/CSP by hbrandl	hbrandl	2014-04-29 21:48
Forum topic	Primitive recursive functions and fixpoints	hbrandl	2013-06-03 16:52
Forum topic	Mutable Structures: Arrays compile time and runtime information by hbrandl C arrays are not pointers but by hbrandl	hbrandl	2013-05-08 10:44
Forum topic	Endofunctions, cycles and chains Since the language has by hbrandl	hbrandl	2013-04-29 17:36
Forum topic	Fixpoint theory, induction and recursion Definition by hbrandl Eiffel dialect by hbrandl Controversy between functional and imperative programming style by hbrandl Kleene star by hbrandl	hbrandl	2013-03-08 04:14
Forum topic	Binary relations, endorelations and transitive closures	hbrandl	2012-10-18 14:24
Forum topic	Proof formats Linear logic within the language by hbrandl Linear logic by hbrandl Labels are already used in by hbrandl	hbrandl	2012-09-27 14:47
Forum topic	The verified heap sort algorithm	hbrandl	2012-07-31 19:43
Forum topic	Lattices - Partial orders with infimum and supremum I have found a paper with by hbrandl The link to the first paper by hbrandl It takes some time to build by hbrandl	hbrandl	2012-07-17 15:56
Forum topic	The verified insertion sort algorithm	hbrandl	2012-07-01 20:53
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
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