Towards an Extrinsic Formalization of Featherweight Java in Agda

Featherweight Java is one of the most popular calculi which specify object-oriented programming features. It has been used as the basis for investigating novel language functionalities, as well as to specify and understand the formal properties of existing features for languages in this paradigm. Ho...

תיאור מלא

מידע ביבליוגרפי
Main Authors: Samuel Feitosa, Rodrigo Geraldo Ribeiro, Andre Rauber Du Bois
פורמט: Article
שפה:English
יצא לאור: Centro Latinoamericano de Estudios en Informática 2021-12-01
סדרה:CLEI Electronic Journal
נושאים:
גישה מקוונת:http://www.clei.org/cleiej/index.php/cleiej/article/view/520