Re: [Javapathfinder-devel] Questions about JPF, Summer Of Code 2008

[John P. <jp...@go...>]

Hi Ezgi,

That sounds good - I'll see if I can find a copy and have a look, or if
anyone has better suggestions.

John

On Thu, Mar 27, 2008 at 1:03 PM, Ezgi Çiçek <ezg...@gm...> wrote:

> Hi John,
> Thank you for your interest too. I have decided to study on creating a
> set of examples from Java textbooks. Your recommendation is helpful,
> but I want to ask a simple question. What kind of a book should I
> select to take example programs? Actually, I probably guess your
> answer, but I want to be sure. I plan to use Absolute Java ( Pearson
> International Edition) which is an intermediate Java text book or any
> same level book. Should I use a more sophisticated or advanced book ?
>
> Thanks
> Ezgi
>
> http://vig.pearsoned.co.uk/catalog/academic/product/0,1144,0321505042,00.html
>
> 2008/3/27, John Penix <jp...@go...>:
> > Hi Ezgi,
> >
> > Many of the projects we have proposed are very technical, but a couple
> > mostly about Java.  One project is simply to write tests to show that
> the
> > JPF virtual machine acts the same as the Sun virtual machine.  Another
> > project is to take example programs from a text book and show how they
> run
> > in JPF (including adding bugs, to show how the bugs are found.)
> >
> > Either of these might be a good match for what you are interesting in
> > learning and would be beneficial to our project.
> >
> > John
> >
> >
> > On Thu, Mar 27, 2008 at 10:05 AM, Ezgi Çiçek <ezg...@gm...>
> wrote:
> >
> > >
> > > Dear developer/s,
> > >
> > > I am Ezgi Çiçek, a computer engineering student from Bilkent
> > > University, Turkey. I have been studying on Java for a year. I am
> > > interested in JPF project, specifically, with creating a JPF user
> > > interface in an IDE like Eclipse. I have send e-mails to
> > > Peter Mehlitz and Dimitra Giannakopoulou , but I could not get an
> > > answer yet. I am posting my concerns to you.
> > >
> > > I have searched on the internet about JPF and software modeling
> > > checkers. It looks a bit confusing to understand all bits and pieces,
> > > but I try to get more information about this project. Actually, the
> > > interesting thing for me is to understand the cores of Java language
> > > and how it handles with programs. Generally, students ( me too) are
> > > faced with how to write code and make GUIs and etc. It can be better
> > > to work on these kind of projects to gain wider perspective. The thing
> > > that I want to ask you is what are the  prerequisites of this project.
> > > Although you give an explanation about this specific project, I am
> > > curious about the details. I am not experienced with JPF, so can it be
> > > a problem to design and implement the user interface of it. Of course,
> > > I can study on it and learn how it works( I started a bit ) but it can
> > > be better to know what really I am suppose to do throughout the
> > > project. I will be happy if you can give detailed information about
> > > this project.
> > >
> > > I don't know whether is this time late or not to ask but I have been
> > > just searching about JPF since I have find out it.
> > >
> > > Thank you very much
> > > Sincerely
> > >
> > >
> >
> -------------------------------------------------------------------------
> > > Check out the new SourceForge.net Marketplace.
> > > It's the best place to buy or sell services for
> > > just about anything Open Source.
> > >
> >
> http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace
> > > _______________________________________________
> > > Javapathfinder-devel mailing list
> > > Jav...@li...
> > >
> > https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel
> > >
> >
> >
>