Original language | English |
---|---|
Pages | 30-36 |
Number of pages | 7 |
DOIs | |
Publication status | Published - 2024 |
Event | International Workshop on Formal Techniques for Java-like Programs, FTfJP 2024 - Vienna Duration: 1 Jan 2024 → … |
Conference
Conference | International Workshop on Formal Techniques for Java-like Programs, FTfJP 2024 |
---|---|
City | Vienna |
Period | 1/01/24 → … |
Keywords
- Coeffects
- Java-like languages
- Operational semantics