- Pascal to Component Pascal translators

From: Bob Walkden <"Bob>
Date: Tue, 25 Oct 2005 21:31:53 +0100

----boundary-LibPST-iamunique-1631817825_-_-
Content-type: text/plain

Many, many years ago, in the early 1980s, I worked on a project converting a
payroll system from one form of Cobol to another. As part of this task I
rewrote a number of the programs without GOTOs. Although I found some fairly
simple rules-of-thumb for doing it, I never really found a foolproof
algorithm. I realised that one must exist because Jacopini and Boehm had
proved that there is an equivalent no GOTO program for every GOTO program,
so I read their paper:

C. Boehm and G. Jacopini, "Flow diagrams, Turing machines, and
languages with only two formation rules," Communications of the ACM, May
1966.

Unfortunately, I did not understand it.

--
Regards,
 Bob 
> -----Original Message-----
> From: blackbox{([at]})nowhere.xy> Behalf Of Campbell, Robert D (SELEX) (UK Edinburgh)
> Sent: 25 October 2005 10:46
> To: BlackBox Mailing List
> Subject: [BlackBox] - Pascal to Component Pascal translators
> 
> 
> Hi
> 
> As I remember it, Pascal has a GOTO
> statement and CP does not. Removing
> GOTOs I find one of the hardest tasks
> when 'hand' translating.
> 
> Do these tools automate this process
> successfully?, and is there a SIMPLE
> explanation of how they do it?
> 
> Cheers
> 
> Robert
--- BlackBox
--- send subject HELP or UNSUBSCRIBE to blackbox{([at]})nowhere.xy----boundary-LibPST-iamunique-1631817825_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"
e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzcyBBcmlhbDt9DQp7XGYxXGZtb2Rlcm4gQ291cmllciBOZXc7fQ0Ke1xmMlxmbmlsXGZjaGFy
c2V0MiBTeW1ib2w7fQ0Ke1xmM1xmbW9kZXJuXGZjaGFyc2V0MCBDb3VyaWVyIE5ldzt9fQ0Ke1xj
b2xvcnRibFxyZWQwXGdyZWVuMFxibHVlMDtccmVkMFxncmVlbjBcYmx1ZTI1NTt9DQpcdWMxXHBh
cmRccGxhaW5cZGVmdGFiMzYwIFxmMFxmczIwIE1hbnksIG1hbnkgeWVhcnMgYWdvLCBpbiB0aGUg
ZWFybHkgMTk4MHMsIEkgd29ya2VkIG9uIGEgcHJvamVjdCBjb252ZXJ0aW5nIGFccGFyDQpwYXly
b2xsIHN5c3RlbSBmcm9tIG9uZSBmb3JtIG9mIENvYm9sIHRvIGFub3RoZXIuIEFzIHBhcnQgb2Yg
dGhpcyB0YXNrIElccGFyDQpyZXdyb3RlIGEgbnVtYmVyIG9mIHRoZSBwcm9ncmFtcyB3aXRob3V0
IEdPVE9zLiBBbHRob3VnaCBJIGZvdW5kIHNvbWUgZmFpcmx5XHBhcg0Kc2ltcGxlIHJ1bGVzLW9m
LXRodW1iIGZvciBkb2luZyBpdCwgSSBuZXZlciByZWFsbHkgZm91bmQgYSBmb29scHJvb2ZccGFy
DQphbGdvcml0aG0uIEkgcmVhbGlzZWQgdGhhdCBvbmUgbXVzdCBleGlzdCBiZWNhdXNlIEphY29w
aW5pIGFuZCBCb2VobSBoYWRccGFyDQpwcm92ZWQgdGhhdCB0aGVyZSBpcyBhbiBlcXVpdmFsZW50
IG5vIEdPVE8gcHJvZ3JhbSBmb3IgZXZlcnkgR09UTyBwcm9ncmFtLFxwYXINCnNvIEkgcmVhZCB0
aGVpciBwYXBlcjpccGFyDQpccGFyDQpDLiBCb2VobSBhbmQgRy4gSmFjb3BpbmksICJGbG93IGRp
YWdyYW1zLCBUdXJpbmcgbWFjaGluZXMsIGFuZFxwYXINCmxhbmd1YWdlcyB3aXRoIG9ubHkgdHdv
IGZvcm1hdGlvbiBydWxlcywiIENvbW11bmljYXRpb25zIG9mIHRoZSBBQ00sIE1heVxwYXINCjE5
NjYuXHBhcg0KXHBhcg0KVW5mb3J0dW5hdGVseSwgSSBkaWQgbm90IHVuZGVyc3RhbmQgaXQuXHBh
cg0KXHBhcg0KLS1ccGFyDQpSZWdhcmRzLFxwYXINCiBCb2IgXHBhcg0KXHBhcg0KPiAtLS0tLU9y
aWdpbmFsIE1lc3NhZ2UtLS0tLVxwYXINCj4gRnJvbTogYmxhY2tib3hAb2Jlcm9uLmNoIFttYWls
dG86YmxhY2tib3hAb2Jlcm9uLmNoXSBPbiBccGFyDQo+IEJlaGFsZiBPZiBDYW1wYmVsbCwgUm9i
ZXJ0IEQgKFNFTEVYKSAoVUsgRWRpbmJ1cmdoKVxwYXINCj4gU2VudDogMjUgT2N0b2JlciAyMDA1
IDEwOjQ2XHBhcg0KPiBUbzogQmxhY2tCb3ggTWFpbGluZyBMaXN0XHBhcg0KPiBTdWJqZWN0OiBb
QmxhY2tCb3hdIC0gUGFzY2FsIHRvIENvbXBvbmVudCBQYXNjYWwgdHJhbnNsYXRvcnNccGFyDQo+
IFxwYXINCj4gXHBhcg0KPiBIaVxwYXINCj4gXHBhcg0KPiBBcyBJIHJlbWVtYmVyIGl0LCBQYXNj
YWwgaGFzIGEgR09UT1xwYXINCj4gc3RhdGVtZW50IGFuZCBDUCBkb2VzIG5vdC4gUmVtb3Zpbmdc
cGFyDQo+IEdPVE9zIEkgZmluZCBvbmUgb2YgdGhlIGhhcmRlc3QgdGFza3NccGFyDQo+IHdoZW4g
J2hhbmQnIHRyYW5zbGF0aW5nLlxwYXINCj4gXHBhcg0KPiBEbyB0aGVzZSB0b29scyBhdXRvbWF0
ZSB0aGlzIHByb2Nlc3NccGFyDQo+IHN1Y2Nlc3NmdWxseT8sIGFuZCBpcyB0aGVyZSBhIFNJTVBM
RVxwYXINCj4gZXhwbGFuYXRpb24gb2YgaG93IHRoZXkgZG8gaXQ/XHBhcg0KPiBccGFyDQo+IENo
ZWVyc1xwYXINCj4gXHBhcg0KPiBSb2JlcnRccGFyDQpccGFyDQotLS0gQmxhY2tCb3hccGFyDQot
LS0gc2VuZCBzdWJqZWN0IEhFTFAgb3IgVU5TVUJTQ1JJQkUgdG8gYmxhY2tib3hAb2Jlcm9uLmNo
fX0AAABDAAAAAAAAAA==
----boundary-LibPST-iamunique-1631817825_-_---

Received on Tue Oct 25 2005 - 22:31:53 UTC