36 article " Science of Computer Programming "

Name : Nurmala Eka Putri
Npm : 16611025

Science of Computer Programming
Automated generation of program translation and verification tools
using annotated grammars
Automatically generating program translators from source and target language specifica￾tions is a non-trivial problem.
.
Finally, the family of operations languages was used as a case study throughout this article. We believe that our technique
could be useful for other domain-specific language families as well, especially when the languages in those families have a
similar semantic foundation.