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 | 4460 reads
|
Browse archivesActive forum topics |
Recent comments
1 hour 43 min ago
12 hours 41 min ago
18 hours 30 min ago
18 hours 50 min ago
19 hours 20 min ago
20 hours 6 min ago
20 hours 30 min ago
20 hours 57 min ago
22 hours 31 min ago
22 hours 56 min ago