Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alberto Pettorossi
conf.researchr.org general profile
ETAPS 2019 profile
POPL 2019 profile
POPL 2023 profile
POPL 2024 profile
SPLASH 2023 profile
‹Programming› 2019 profile
Registered user since Thu 25 Oct 2018
Name:
Alberto Pettorossi
Country:
Italy
Affiliation:
University of Rome Tor Vergata; IASI-CNR
Contributions
2024
PEPM
Author of A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) within the PEPM 2024-track
2023
Symposium on Practical Aspects of Declarative Languages
Author of Multiple Query Satisfiability of Constrained Horn Clauses within the PADL 2023-track
LOPSTR
Author of Constrained Horn Clauses Satisfiability via Catamorphic Abstractions within the LOPSTR 2023-track
2019
HCVS
Author of Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification within the HCVS-track
VPT
Author of Lemma Generation for Horn Clause Satisfiability: A Preliminary Study within the VPT 2019 -track
Committee Member in Program Committee within the VPT 2019 -track
PEPM
Committee Member in Program Committee within the PEPM 2019-track
Session Chair of Session 5 (part of PEPM 2019)
Share
x
Fri 8 Nov 08:26