LPAR-23 2020

View Statistics Email Alert RSS Feed

Description

Event name
LPAR-23 2020
 
Event type
Event for scientific audience
 
Start date
22-05-2020
End date
27-05-2020
 
Location
Alicante
Country
Spain
 
Event format Veranstaltungsformat
Online

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Pagel, Jens ; Zuleger, Florian Beyond Symbolic Heaps: Deciding Separation Logic With Inductive DefinitionsKonferenzbeitrag Inproceedings 27-May-2020
2Abraham, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Dobe, Oyendrila Parameter Synthesis for Probabilistic HyperpropertiesKonferenzbeitrag Inproceedings 27-May-2020
3Rebola Pardo, Adrian ; Weissenbacher, Georg RAT EliminationKonferenzbeitrag Inproceedings 27-May-2020
4Aschieri, Federico ; Ciabattoni, Agata ; Genco, Francesco Antonio A typed parallel lambda-calculus via 1-depth intermediate proofsKonferenzbeitrag Inproceedings 27-May-2020