Implementation of the History Aware Programming Language through Translation into Scala
| dc.contributor.author | Ashik, Md. Shamim | |
| dc.date.accessioned | 2023-10-26T16:37:24Z | |
| dc.date.available | 2023-10-26T16:37:24Z | |
| dc.date.issued | 2012-12 | |
| dc.description.abstract | Many organizations handle information about individuals that those individuals consider private. In many cases, these organizations are required to comply with many regulations that protect this information. This sensitive information is often processed electronically, and there is frequently no rigorous basis for claiming that these software systems comply with regulations. As part of a larger framework, the History Aware Programming Language (HAPL) has been designed to facilitate the development of programs that can be formally verified against formalized privacy policies. This report provides a preliminary description of the HAPL language and its implementation. Using the ANTLR parser generator, we created a parser that can recognize any syntactically correct HAPL program. Moreover, we implemented a source-to-source compiler that translates the correct HAPL programs into Scala programs. Since, HAPL has specialized primitive constructs, the generated Scala code uses an additional Scala library against which provides the necessary facilities; we describe a partial implementation of this library. | |
| dc.description.department | Computer Science | |
| dc.description.sponsorship | This work was supported, in part, by the National Science Foundation under grant CNS-0964710. | |
| dc.identifier.uri | https://hdl.handle.net/20.500.12588/2190 | |
| dc.language.iso | en_US | |
| dc.publisher | UTSA Department of Computer Science | |
| dc.relation.ispartofseries | Technical Report; CS-TR-2012-012 | |
| dc.subject | programming language | |
| dc.subject | source-to-source translation | |
| dc.title | Implementation of the History Aware Programming Language through Translation into Scala | |
| dc.type | Technical Report |