User loginNavigation |
Type Mapping in Source-To-Source TranslationI'm in the middle of writing an Object-Pascal-to-Java translator. One interesting aspect is the mapping between source and target types. Is anybody aware of literature about this topic, books, papers, etc.? I would be interested in things like rules for "widening" a target type over the source type; constraints that must hold on operations applied in the target language so that the result complies with the result in the source language; maybe a formalism where you could even show (prove) that, given some sets of types and operations; etc. I do not aim to set things up this way, but would enjoy reading some theoretical material about what I'm doing. Is there serious research in the area of source translation, anyway? By thomash at 2019-10-22 20:32 | LtU Forum | previous forum topic | next forum topic | other blogs | 6196 reads
|
Browse archives
Active forum topics |
Recent comments
4 days 23 hours ago
40 weeks 6 days ago
40 weeks 6 days ago
40 weeks 6 days ago
1 year 11 weeks ago
1 year 15 weeks ago
1 year 16 weeks ago
1 year 16 weeks ago
1 year 19 weeks ago
1 year 24 weeks ago