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...
| Những tác giả chính: | , , |
|---|---|
| Định dạng: | Bài viết |
| Ngôn ngữ: | English |
| Được phát hành: |
Centro Latinoamericano de Estudios en Informática
2021-12-01
|
| Loạt: | CLEI Electronic Journal |
| Những chủ đề: | |
| Truy cập trực tuyến: | http://www.clei.org/cleiej/index.php/cleiej/article/view/520 |