Talk About Network



Register and Login
Nick
Password
Register create new account Sign up is FREE and you can post replies, new topics, bookmark posts and more!
Recover lost password


Programming > Eiffel > Re: Weak formal...
Latest [ Topics | Posts ] Archive Post A New Topic Post a Reply
<< Topic < Post Post 2 of 2 Topic 895 of 913
Post > Topic >>

Re: Weak formal methods ?

by Georg Bauhaus <rm.tsoh+bauhaus@[EMAIL PROTECTED] > Oct 30, 2007 at 03:53 PM

On Tue, 2007-10-30 at 07:21 -0500, problems@[EMAIL PROTECTED]
 wrote:

> Georg Bauhaus wrote:
> > The STRING class has some routines that I guess will be
> > helpful here. See
http://www.gobosoft.com/eiffel/nice/elks01/string.htm=
l
> >=20
> > feature -- Access
> >   ...
> > feature -- Removal
> >   ...
> >=20
> > If this requires too many intuitions, so to speak, you can also get
> > Lex style parsing from that place, and probably REs with replacements.
> >=20
> Thanks ! That's excellent.  I'd like the implementation code too,=20
> although that's probably too tied to the other Eiffel classes to be
> conveniently transformed to Oberon source.

The Gobo libraries are available with sources and extensive docs.
The ISE Eiffel system is available with sources, too. (From ETH
Z=C3=BCrich, e.g..)
With SmartEiffel, you get sources as well. SmartEiffel has
its own ways, though.
The licenses are such that you could copy ideas when intending fair
use, or are even more permissive.

I guess that contract information of Eiffel string handling
can be merged with available Oberon string handling;=20
the OO2C library has some @[EMAIL PROTECTED]
 annotations in Strings.Mod that,
I guess, will help the reader compare the algorithms.




 2 Posts in Topic:
Re: Weak formal methods ?
problems@[EMAIL PROTECTED  2007-10-30 07:21:47 
Re: Weak formal methods ?
Georg Bauhaus <rm.tsoh  2007-10-30 15:53:24 

Post A Reply:
  Go here to Signup

AddThis Feed Button


About - Advertising - Contact - Frequently Asked Questions - Privacy Policy - Terms of Use - Signup

Contact
tan12V112 Thu May 15 22:34:04 CDT 2008.