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 specifications 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.
No comments:
Post a Comment