 |
Blog about static verification of software |
correctness proofs, static verification |
 |
Button Clicker |
Windows |
|
|
C global variables in Eiffel |
C, global, variable |
 |
C/C++ calls and callbacks |
CECIL C C++ callback external inline, Example, Intermediate |
|
|
Calculator |
Beginner, Example, math, parsing |
|
|
Can't construct for local variables. |
construct local variable. |
|
|
Careful when working late - you might meet vamPeers |
eth, p2p, till |
|
|
catcall -- a solution |
catcall, Eiffel, type safety |
|
|
Class FIBONACCI |
|
 |
Comment Documentation for Use In Eiffel Development Tools |
Beginner, code quality, code style, comment, documentation, Tutorial |
|
|
Communication |
|
|
|
Compile_all |
compilation, developper, ise |
|
|
Concurrency and Exceptions |
Calculator, co-processor, Concurrency, Exceptions |
|
|
Contracts for delegates |
|
|
|
Conversion between REAL_64 and REAL_32 |
conversion, Eiffel |
|
|
Correctness conditions (2) for calling an agent |
Agents, Ecma, Software correctness |
|
|
Correctness conditions for calling an agent |
Agents, Ecma, Software correctness |
|
|
Correctness of classes receiving an agent |
|
 |
Create .NET Properties in Eiffel |
.NET, Intermediate, language, properties, Tutorial |
|
|
Creating a .NET delegate object from an Eiffel routine |
.NET, Agents, delegate, Intermediate, Tutorial |
 |
Creating a web application with Goanna |
goanna, origo, till, Tutorial, web, web applications, Advanced |
 |
cURL |
cURL wrapper, Eiffel Forum License Version 2, Linux, Mac, Windows |
|
|
Daemon howto |
daemon, Eiffel, eposix, Example, linux, UNIX, Advanced |
|
|
Daylight Stealing Time |
Inline agents |
|
|
Debugging an Eiffel .NET DLL within Visual Studio |
.NET debugging |
|
|
ECLI |
database, dbms, I/O, ODBC |
|
|
edoc |
documentation, html, XML |
|
|
EDOC has been forked on Github |
Gobo, Documentation generator, EDO, html, XML |
|
|
eGMP |
arbitrary precision arithmetic, GMP, Linux, Mac, multiple precision, Public Domain, Windows |
|
|
Eiffel and a VFD |
Eiffel, hardware, hd44780, lcd, vfd |
