Folgen
Catarina Gamboa
Catarina Gamboa
S3D, Carnegie Mellon University, and LASIGE, Universidade de Lisboa
Bestätigte E-Mail-Adresse bei fc.ul.pt - Startseite
Titel
Zitiert von
Zitiert von
Jahr
User-driven design and evaluation of liquid types in java
C Gamboa, PA Santos, CS Timperley, A Fonseca
arXiv preprint arXiv:2110.05444, 2021
32021
Usability-oriented design of liquid types for java
C Gamboa, P Canelas, C Timperley, A Fonseca
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023
22023
Latte: Lightweight Aliasing Tracking for Java
C Zimmerman, C Gamboa, A Fonseca, J Aldrich
arXiv preprint arXiv:2309.05637, 2023
2023
LiquidJava: Extending Java with Refinements
CV Gamboa
UNIVERSIDADE DE LISBOA, 2021
2021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–4