Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
SW Verification with (Modern) Eiffel
26 views
Skip to first unread message
Helmut
Feb 14, 2012, 6:29:55 PM2/14/12
to
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 http://softwareverificaton.wordpress.com/2012/01/25/language-outline-7/
gives an outline of the language. It describes the use of inductive
data types (or sometimes called algebraic data types) within Modern
Eiffel.
use a variant of Eiffel called "Modern Eiffel". The latest blog entry
at http://softwareverificaton.wordpress.com/2012/01/25/language-outline-7/
gives an outline of the language. It describes the use of inductive
data types (or sometimes called algebraic data types) within Modern
Eiffel.
0 new messages