1 citations · 1 across the 4 of their papers we have counts for
1 paper · 2 filters
Christiano Braga
This paper proposes π, a formal semantic framework for compiler construction together with program validation. π is comprised by π Lib, a set of programming languages constructs in…