52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025)

Event name
52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025)
 
Event type
Event for scientific audience
 
Start date
22-01-2025
End date
24-01-2025
 
Location
Denver
Country
United States
 
Conference Track
Multi Track
Organizing institution Veranstaltende Institution
ACM
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ait El Manssour-2025-Simple Linear Loops Algebraic Invariants and Applica...-vor.pdf.jpgAit El Manssour, Rida ; Kenison, George ; Shirmohammadi, Mahsa ; Varonka, Anton Simple Linear Loops: Algebraic Invariants and ApplicationsInproceedings Konferenzbeitrag 2025