Browsing by Subject Object-oriented programming languages
Showing results 1 to 3 of 3
Issue Date | Title | Author(s) |
2010 | Automatic generation of parameterized 3D circuits | Farrugia, Justin (2010) |
2020 | Behavioural types for memory and method safety in a core object-oriented language | Bravetti, Mario; Francalanza, Adrian; Golovanov, Iaroslav; Hüttel, Hans; Jakobsen, Mathias; Kettunen, Mikkel K.; Ravara, António |
2015 | KeY + LARVA = STARVOORS | Ahrendt, Wolfgang; Pace, Gordon J. |