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 | 6205 reads
|
Browse archives
Active forum topics |
Recent comments
1 week 6 days ago
42 weeks 1 day ago
42 weeks 1 day ago
42 weeks 1 day ago
1 year 12 weeks ago
1 year 16 weeks ago
1 year 18 weeks ago
1 year 18 weeks ago
1 year 20 weeks ago
1 year 25 weeks ago