Re: Translating from language which allows Goto's

Lorenzo Bettini <bettini@dsi.unifi.it>
21 Jul 2003 21:36:33 -0400

From comp.compilers

Related articles
Translating from lagugae which allows Goto's dana.subscriptions@virgin.net (Dana Freer) (2003-07-04)
Re: Translating from language which allows Goto's Thomas.Schneider@donauland.at (2003-07-13)
Re: Translating from language which allows Goto's mcintosh@mc-pc.research.telcordia.com (2003-07-13)
Re: Translating from lagugae which allows Goto's bsheff2@yahoo.com (Bob Sheff) (2003-07-15)
Re: Translating from language which allows Goto's dmr@bell-labs.com (Dennis Ritchie) (2003-07-15)
Re: Translating from lagugae which allows Goto's joachim.durchholz@web.de (Joachim Durchholz) (2003-07-17)
Re: Translating from language which allows Goto's nmm1@cus.cam.ac.uk (2003-07-21)
*Re: Translating from language which allows Goto's bettini@dsi.unifi.it (Lorenzo Bettini)* (2003-07-21)**
Re: Translating from language which allows Goto's channahr@comcast.net (norm@plumpirate.com) (2003-07-25)

From:	Lorenzo Bettini <bettini@dsi.unifi.it>
Newsgroups:	comp.compilers
Date:	21 Jul 2003 21:36:33 -0400
Organization:	CINECA
References:	03-07-042 03-07-093 03-07-127
Keywords:	analysis
Posted-Date:	21 Jul 2003 21:36:33 EDT

Joachim Durchholz wrote:
> label 1:
> ...
> label 2:
> ...
> if <something> then goto label 1
> ...
> if <something> then goto label 2

We had a paper that solves such cases, even though in a slight different
context, i.e., strong code mobility; maybe you can find it helpful.
Here's the reference:

Translating Strong Mobility into Weak Mobility
L. Bettini, R. De Nicola. Proc. of 5th IEEE Int. Conf. on Mobile Agents
(MA), pages 182-197, LNCS 2240, 2001, G. Picco (Ed.), Springer.

http://music.dsi.unifi.it/abstracts/strongmob-MA2001-abs.html
http://music.dsi.unifi.it/papers/strongmob.ps.gz

hope it helps.

cheers
Lorenzo

--
+-----------------------------------------------------+
| Lorenzo Bettini ICQ# lbetto, 16080134 |
| PhD in Computer Science |
| Dip. Sistemi e Informatica, Univ. di Firenze |
| Tel +39 055 4796741, Fax +39 055 4796730 |
| Florence - Italy (GNU/Linux User # 158233) |
| Home Page : http://www.lorenzobettini.it |
| http://music.dsi.unifi.it XKlaim language |
| http://www.lorenzobettini.it/purple Cover Band |
| http://www.gnu.org/software/src-highlite |
| http://www.gnu.org/software/gengetopt |
| http://www.lorenzobettini.it/software/gengen |
+-----------------------------------------------------+