Blogs

blog My three Eiffelwishes, part 3: readable types

dlebansais's picture

In a previous blog entry, I related how I modified my code to split classes in two parts, separating commands and queries. In the conclusion I was suggesting that Eiffel could be extended to provide support for this. I will now formalize the language extension, and demonstrate how to use it to write even more solid code.

blog Another Eiffelwish: A cluster concept with restricted visibility (to avoid name clashes).

The Eiffel language in its current definition has no concept of namespaces. However in large programs using many libraries name clashes (i.e. two classes having the same name) become more and more probable.

Different Eiffel compilers have resolved the name clashes with different strategies. This is not satisfactory because it is not portable.

blog Proofs for Eiffel SW

The following paper describes a proof engine for the Eiffel language.

The proof engine allows the verification of the assertions of Eiffel code. Some language extensions are introduced to express proofs of assertions.

blog BALIGN - A multi-functional batch sequence alignment tool

BALIGN is a multi-functional batch sequence alignment tool. It has been used in several bioinformatics applications by İTÜ Computer Engineering Bioinformatics Group, but its abilities are not limited to biological sequences. Any type of sequence with an ASCII representation and a scoring matrix can be handled by BALIGN. The source code contains generic aligner classes which can be used separately.

blog My three Eiffelwishes, part 2: Unicode

dlebansais's picture
in

If English is your primary language, you've probably never used characters from a foreign language in Eiffel source files.

blog My three Eiffelwishes, part 1: enums

dlebansais's picture

For people that routinely switch between programming languages like me, it's temping to try to get the best of all and mix language features.

blog Moving to a readable/writable model

dlebansais's picture

Introduction

Work a long time on your code, and you will have countless opportunities to experiment with software design. Today, I'd like to describe how I moved some classes to a new model for separating queries and commands.

The need for this came to me because of complex assertions.

blog Recompiling EiffelStudio on Windows

dlebansais's picture

Recently I found an issue with EiffelStudio and some .NET assemblies. I decided to rebuild my own version of the Eiffel compiler to implement a quick workaround.

blog EiffelStudio 6.6 released

manus_eiffel's picture

We are pleased to announce the availability of EiffelStudio 6.6.

blog Optimization route

I've recently added two new entries to the Code Generation Optimization Ideas page. As one can see there are many things that can improve the performance of the generated code.

Syndicate content