Account Options

  1. Sign in
The old Google Groups will be going away soon.
Switch to the new Google Groups.
Google Groups Home
« Groups Home
comp . lang . eiffel
This is a Usenet group - learn more
Find or start a Google Group about eiffel.
Group info
Language: English
Group categories:
Computers > Programming
More group info »
Active older topics
11 new of 11 - May 21 2011
1 new of 1 - May 11 2011
8 new of 8 - May 3 2011
1 new of 1 - Apr 27 2011
1 new of 1 - Apr 19 2011
1 new of 1 - Apr 7 2011
1 new of 1 - Mar 23 2011
3 new of 3 - Mar 3 2011
1 new of 1 - Feb 27 2011
1 new of 1 - Feb 14 2011
Discussions
View:  Topic list, Topic summary Topics 1 - 10 of 9387  Older »
Description: The object-oriented Eiffel language.
 

Reasoning with quantified expressions in predicate calculus 
  In order to prove software to be correct, predicate calculus with quantified expressions (for all, exists) is indispensable. The programming language Modern Eiffel has all possibilities to do predicate calculus. The article [link] describes how reasoning with quantified expressions is done in Modern... more »
By Helmut  - Apr 20 - 1 new of 1 message    

Reasoning with inductive types 
  Modern Eiffel is a new language which is syntactically based on Eiffel but has a lot of concepts of functional languages like Haskell, OCaml or Coq. Modern Eiffel puts the emphasis on static verification, i.e. a compiler can statically check that a programm written in Modern Eiffel meets its specification.... more »
By Helmut  - Mar 8 - 1 new of 1 message    

Negation and proofs by contradiction 
  A new blog entry [link] has beed created with continues the description of Modern Eiffel's proof engine. This blog entry focuses on the introduction of negation and it's axioms into the class BOOLEAN and presents a rich set of proofs.... more »
By Helmut  - Feb 27 - 1 new of 1 message    

SW Verification with (Modern) Eiffel 
  I have started a blog to talk about SW verification. In this blog I use a variant of Eiffel called "Modern Eiffel". The latest blog entry at [link] gives an outline of the language. It describes the use of inductive data types (or sometimes called algebraic data types) within Modern... more »
By Helmut  - Feb 14 - 1 new of 1 message    

Tumia the first Object-Oriented Internet Directory 
  Hi, To my knowledge Tumia ([link]) is the first internet directory structured according to the object-oriented paradigm. Currently Tumia is in its baby years. To illustrate the object- oriented concept consider below "Navigate from Earth Global Warming 2000 AD to Mitigating Solar Energy and Back" which is a specific... more »
By Paka Small  - Dec 18 2011 - 1 new of 1 message    

correctness proofs demonstrated with natural numbers 
  I have written a paper to show how natural numbers without any conceptual limitation (i.e. arbitrarily sized) can be implemented and verified in Modern Eiffel. The fact that the implementation is highly inefficient to execute is accepted. The implementation shall serve as a model on how to implement inductively defined... more »
By Helmut  - Sep 14 2011 - 4 new of 4 messages    

Type safe Eiffel 
  From the beginning of Eiffel the language has been characterized as strongly typed. But since its beginning there has been a hole in the type system which has not yet been fixed up to now (the so called catcall problem). = What is the hole? = The existence of the hole can be demonstrated with very simple... more »
By Helmut  - Sep 9 2011 - 1 new of 1 message    

HOT HOT HOT 
  FOR GOOD JOBS SITES TO YOU [link] FOR HOT PHOTO&VIDEOS KATRINA KAIF RARE PHOTOS [link] TAMANNA HOT SEXY PHOTOS & VIDEOS... more »
By gowri  - Jul 28 2011 - 1 new of 1 message    

Finally eiffelstudio w/ SCOOP: HELP! 
  Hello all, Now Eiffel SCOOP is supported by eiffelstudio, but I do not know how to use it! I have two classes in my program: class PF_HP -- -- The "Proteinfolding in HP-Model" for Eiffel :-) -- -- To compile type command : ec -config pf_hp.ecf -- Run with command : ./pf_hp -- --... more »
By Leder  - May 17 2011 - 3 new of 3 messages    

EiffelStudio: big .EXE file size 
  I tryed the last EiffelStudio on Windows Vista with MinGW: "Hello world" program (.EXE file) is about 24Mb!! Does it possible to optimize the size, some way to shrink generated .exe?.. /Pavel
By Yosifov Pavel  - May 14 2011 - 6 new of 6 messages    

1 - 10 of 9387   « Newer | Older »

XML