Generalizing Semantic Bidirectionalization & Tracking Generated Expressions

Examensarbete för masterexamen

Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.12380/176426
Download file(s):
File Description SizeFormat 
176426.pdfFulltext1.52 MBAdobe PDFView/Open
Type: Examensarbete för masterexamen
Master Thesis
Title: Generalizing Semantic Bidirectionalization & Tracking Generated Expressions
Authors: Najd Javadipour, Shayan
Abstract: In programming, there are often pairs of functions running in opposite directions: the domain of one is the codomain of the other. Their functionalities are so closely related that it is possible to derive one from the implementation of the other. Bidirectionalization techniques address this concern. This thesis studies some of the theoretical and practical aspects of bidirectionalization. As the theoretical part of this thesis, we generalize an existing bidirectionalization technique, known as semantic bidirectionalization. Our generalized algorithm scales well and lifts some of the restrictions set by the original algorithm. As the practical part of this thesis, we focus on the problem of tracking expressions in the low-level generated code to their origins in the high-level code.
Keywords: Data- och informationsvetenskap;Computer and Information Science
Issue Date: 2013
Publisher: Chalmers tekniska högskola / Institutionen för data- och informationsteknik (Chalmers)
Chalmers University of Technology / Department of Computer Science and Engineering (Chalmers)
URI: https://hdl.handle.net/20.500.12380/176426
Collection:Examensarbeten för masterexamen // Master Theses



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.