10
Publications
678
Citations
10
H-Index
2011
Active since
Affiliations
Paolo G. Giarrusso is an author at Philipps University of Marburg specializing in engineering, program analysis, and computer science.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsSoftware DesignFormal VerificationSoftware EngineeringSyntaxGrammar
Publications per year
2011–2020
10
10
Language composition untangled
Sebastian Erdweg, Paolo G. Giarrusso, Tillmann Rendel · 2012 · 114 citations
Engineering, Language Interoperability, Composition Approach +19
A theory of changes for higher-order languages
Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel et al. · 2014 · 49 citations
Rows per page
1–5 of 10