BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

Document subtype
Extended abstract/Short paper

Title
Gradual Guarantee for FJ with lambda-Expressions

Participants in the publication
Pedro Ângelo (Author)
Dep. Informática
 Viviana Bono (Author)
Mariangiola Dezani-Ciancaglini (Author)
Mário Florido (Author)
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DO PORTO
Date of Publication
2023-07-18

Event
Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs

Publication Identifiers

Address
Seattle WA USA

Publisher
ACM

Document Identifiers
DOI - https://doi.org/10.1145/3605156.3606453
URL - http://dx.doi.org/10.1145/3605156.3606453

Rankings
CORE C (2023) -


Export

APA
Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido, (2023). Gradual Guarantee for FJ with lambda-Expressions. Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, -

IEEE
Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido, "Gradual Guarantee for FJ with lambda-Expressions" in Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, Seattle WA USA, 2023, pp. -, doi: 10.1145/3605156.3606453

BIBTEX
@InProceedings{61846, author = {Pedro Ângelo and Viviana Bono and Mariangiola Dezani-Ciancaglini and Mário Florido}, title = {Gradual Guarantee for FJ with lambda-Expressions}, booktitle = {Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs}, year = 2023, pages = {-}, address = {Seattle WA USA}, publisher = {ACM} }